NAIはAND記述使えるんだっけ