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_0004__permitted permitted z_000_11_a_nyt20000410_8 r_0011_0004__permitted->z_000_11_a_nyt20000410_8 [arg0] r_0011_0006__Iraq Iraq r_0011_0004__permitted->r_0011_0006__Iraq into [nim] r_0011_0001__Flights Flights r_0011_0004__permitted->r_0011_0001__Flights [arg1] r_0011_0002__are_r_0011_0003__not are not r_0011_0002__are_r_0011_0003__not->r_0011_0004__permitted [keep_scope] 
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__1_1_1_1 Flights n11_a_nyt20000410__1_2_1 are n11_a_nyt20000410__1_3_1_1 * n11_a_nyt20000410__1_3_2_1 not n11_a_nyt20000410__1_3_3_1 permitted n11_a_nyt20000410__1_3_4_1_1 into n11_a_nyt20000410__1_3_4_2_1_1 Iraq n11_a_nyt20000410__1_4_1 . n11_a_nyt20000410__1 IP-MAT n11_a_nyt20000410__1_1 NP-SBJ n11_a_nyt20000410__1->n11_a_nyt20000410__1_1 n11_a_nyt20000410__1_2 BEP;_cat_VePASS_ n11_a_nyt20000410__1->n11_a_nyt20000410__1_2 n11_a_nyt20000410__1_3 IP-PPL-CAT n11_a_nyt20000410__1->n11_a_nyt20000410__1_3 n11_a_nyt20000410__1_4 PUNC n11_a_nyt20000410__1->n11_a_nyt20000410__1_4 n11_a_nyt20000410__1_1_1 NS n11_a_nyt20000410__1_1->n11_a_nyt20000410__1_1_1 n11_a_nyt20000410__1_1_1->n11_a_nyt20000410__1_1_1_1 n11_a_nyt20000410__1_2->n11_a_nyt20000410__1_2_1 n11_a_nyt20000410__1_3_1 NP-LGS n11_a_nyt20000410__1_3->n11_a_nyt20000410__1_3_1 n11_a_nyt20000410__1_3_2 NEG n11_a_nyt20000410__1_3->n11_a_nyt20000410__1_3_2 n11_a_nyt20000410__1_3_3 VVN;_Tn_ n11_a_nyt20000410__1_3->n11_a_nyt20000410__1_3_3 n11_a_nyt20000410__1_3_4 PP-NIM n11_a_nyt20000410__1_3->n11_a_nyt20000410__1_3_4 n11_a_nyt20000410__1_3_1->n11_a_nyt20000410__1_3_1_1 n11_a_nyt20000410__1_3_2->n11_a_nyt20000410__1_3_2_1 n11_a_nyt20000410__1_3_3->n11_a_nyt20000410__1_3_3_1 n11_a_nyt20000410__1_3_4_1 P-ROLE n11_a_nyt20000410__1_3_4->n11_a_nyt20000410__1_3_4_1 n11_a_nyt20000410__1_3_4_2 NP n11_a_nyt20000410__1_3_4->n11_a_nyt20000410__1_3_4_2 n11_a_nyt20000410__1_3_4_1->n11_a_nyt20000410__1_3_4_1_1 n11_a_nyt20000410__1_3_4_2_1 NPR n11_a_nyt20000410__1_3_4_2->n11_a_nyt20000410__1_3_4_2_1 n11_a_nyt20000410__1_3_4_2_1->n11_a_nyt20000410__1_3_4_2_1_1 n11_a_nyt20000410__1_4->n11_a_nyt20000410__1_4_1 
( (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))