( (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))

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__nim).
arc(r_0011_0004__permitted,z_0011_5004___star_,arg0).

fof(formula,axiom,
    ~ ? [R_0011_0001__FLIGHTS,R_0011_0006__IRAQ,Z_0011_5004___STAR_,R_0011_0004__PERMITTED] :
        ( r_0011_0001__Flights(R_0011_0001__FLIGHTS)
        & r_0011_0006__Iraq(R_0011_0006__IRAQ)
        & z_0011_5004___star_(Z_0011_5004___STAR_)
        & r_0011_0004__permitted(R_0011_0004__PERMITTED)
        & has_arg0(R_0011_0004__PERMITTED,Z_0011_5004___STAR_)
        & has_r_0011_0005__into__nim(R_0011_0004__PERMITTED,R_0011_0006__IRAQ)
        & has_arg1(R_0011_0004__PERMITTED,R_0011_0001__FLIGHTS) ) ).