TSPC 111_a_lob

111_a_lob_n01
He cut the engines and flung open the canopy.

( (IP-MAT (NP-SBJ;{ALASTAIR} (PRO He;{he}))
          (ILYR (ILYR (VBD;__ cut;{cut})
                      (NP-OB1 (D the;{the})
                              (NS engines;{engine})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;__ flung;{fling})
                             (ADJP-PRD (ADJ open;{open}))
                             (NP-OB1 (D the;{the})
                                     (N canopy;{canopy})))))
          (PUNC .))
  (ID 111_a_lob_n01))

arc(r_0111_0002__cut,r_0111_0001__He,arg0).
arc(r_0111_0002__cut,r_0111_0003__the_r_0111_0004__engines,arg1).
arc(r_0111_0005__and,r_0111_0002__cut,conj1).
arc(r_0111_0005__and,r_0111_0006__flung,conj2).
arc(r_0111_0006__flung,r_0111_0001__He,arg0).
arc(r_0111_0006__flung,r_0111_0007__open,prd).
arc(r_0111_0006__flung,r_0111_0008__the_r_0111_0009__canopy,arg1).

fof(formula,axiom,
    ? [R_0111_0001__HE,R_0111_0003__THE_R_0111_0004__ENGINES,R_0111_0002__CUT,R_0111_0007__OPEN,R_0111_0008__THE_R_0111_0009__CANOPY,R_0111_0006__FLUNG,R_0111_0005__AND] :
      ( r_0111_0001__He(R_0111_0001__HE)
      & r_0111_0003__the_r_0111_0004__engines(R_0111_0003__THE_R_0111_0004__ENGINES)
      & r_0111_0007__open(R_0111_0007__OPEN)
      & r_0111_0008__the_r_0111_0009__canopy(R_0111_0008__THE_R_0111_0009__CANOPY)
      & r_0111_0005__and(R_0111_0005__AND)
      & has_conj2(R_0111_0005__AND,R_0111_0006__FLUNG)
      & r_0111_0006__flung(R_0111_0006__FLUNG)
      & has_arg1(R_0111_0006__FLUNG,R_0111_0008__THE_R_0111_0009__CANOPY)
      & has_prd(R_0111_0006__FLUNG,R_0111_0007__OPEN)
      & has_arg0(R_0111_0006__FLUNG,R_0111_0001__HE)
      & has_conj1(R_0111_0005__AND,R_0111_0002__CUT)
      & r_0111_0002__cut(R_0111_0002__CUT)
      & has_arg1(R_0111_0002__CUT,R_0111_0003__THE_R_0111_0004__ENGINES)
      & has_arg0(R_0111_0002__CUT,R_0111_0001__HE) ) ).