Context                Previous, Next                Top


11_a_nyt20000410
Flights are not permitted into Iraq.

%3 r_0011_0002__are are r_0011_0003__not not r_0011_0002__are->r_0011_0003__not [scope] r_0011_0004__permitted permitted r_0011_0003__not->r_0011_0004__permitted [keep_scope] r_0011_0001__Flights Flights r_0011_0004__permitted->r_0011_0001__Flights [arg1] r_0011_0006__Iraq Iraq r_0011_0004__permitted->r_0011_0006__Iraq into [nim] z_000_11_a_nyt20000410_8 r_0011_0004__permitted->z_000_11_a_nyt20000410_8 [arg0] 
arc(r_0011_0002__are, r_0011_0003__not, scope).
arc(r_0011_0003__not, r_0011_0004__permitted, keep_scope).
arc(r_0011_0004__permitted, r_0011_0001__Flights, arg1).
arc(r_0011_0004__permitted, r_0011_0006__Iraq, r_0011_0005__into_nim17).
arc(r_0011_0004__permitted, z_000_11_a_nyt20000410_8, arg0).


%3 r_0011_0002__are_r_0011_0003__not are not r_0011_0004__permitted permitted r_0011_0002__are_r_0011_0003__not->r_0011_0004__permitted [keep_scope] r_0011_0001__Flights Flights r_0011_0004__permitted->r_0011_0001__Flights [arg1] r_0011_0006__Iraq Iraq r_0011_0004__permitted->r_0011_0006__Iraq into [nim] z_000_11_a_nyt20000410_8 r_0011_0004__permitted->z_000_11_a_nyt20000410_8 [arg0] 
fof(formula,axiom,
    ~ ? [R_11_4_PERMITTED,Z_11_A_NYT20000410_8,R_11_1_FLIGHTS,R_11_6_IRAQ] :
        ( flights(R_11_1_FLIGHTS)
        & iraq(R_11_6_IRAQ)
        & permitted(R_11_4_PERMITTED,Z_11_A_NYT20000410_8,R_11_1_FLIGHTS)
        & into_nim17(R_11_4_PERMITTED,R_11_6_IRAQ) ) ).


n11_a_nyt20000410 n11_a_nyt20000410_4 Flights n11_a_nyt20000410_6 are n11_a_nyt20000410_9 * n11_a_nyt20000410_11 not n11_a_nyt20000410_13 permitted n11_a_nyt20000410_16 into n11_a_nyt20000410_19 Iraq n11_a_nyt20000410_21 . n11_a_nyt20000410_1 IP-MAT n11_a_nyt20000410_2 NP-SBJ n11_a_nyt20000410_1->n11_a_nyt20000410_2 n11_a_nyt20000410_5 BEP;_cat_VePASS_ n11_a_nyt20000410_1->n11_a_nyt20000410_5 n11_a_nyt20000410_7 IP-PPL-CAT n11_a_nyt20000410_1->n11_a_nyt20000410_7 n11_a_nyt20000410_20 PUNC n11_a_nyt20000410_1->n11_a_nyt20000410_20 n11_a_nyt20000410_3 NS n11_a_nyt20000410_2->n11_a_nyt20000410_3 n11_a_nyt20000410_3->n11_a_nyt20000410_4 n11_a_nyt20000410_5->n11_a_nyt20000410_6 n11_a_nyt20000410_8 NP-LGS n11_a_nyt20000410_7->n11_a_nyt20000410_8 n11_a_nyt20000410_10 NEG n11_a_nyt20000410_7->n11_a_nyt20000410_10 n11_a_nyt20000410_12 VVN;_Tn_ n11_a_nyt20000410_7->n11_a_nyt20000410_12 n11_a_nyt20000410_14 PP-NIM n11_a_nyt20000410_7->n11_a_nyt20000410_14 n11_a_nyt20000410_8->n11_a_nyt20000410_9 n11_a_nyt20000410_10->n11_a_nyt20000410_11 n11_a_nyt20000410_12->n11_a_nyt20000410_13 n11_a_nyt20000410_15 P-ROLE n11_a_nyt20000410_14->n11_a_nyt20000410_15 n11_a_nyt20000410_17 NP n11_a_nyt20000410_14->n11_a_nyt20000410_17 n11_a_nyt20000410_15->n11_a_nyt20000410_16 n11_a_nyt20000410_18 NPR n11_a_nyt20000410_17->n11_a_nyt20000410_18 n11_a_nyt20000410_18->n11_a_nyt20000410_19 n11_a_nyt20000410_20->n11_a_nyt20000410_21 
( (IP-MAT (NP-SBJ (NS Flights;{flight}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (NEG not;{not})
                      (VVN;_Tn_ permitted;{permit})
                      (PP-NIM (P-ROLE into;{into})
                              (NP;{IRAQ} (NPR Iraq;{Iraq}))))
          (PUNC .))
  (ID 11_a_nyt20000410))