TSPC 100_a_wilde_1

100_a_wilde_1_1888
He passed over the river, and saw the lanterns hanging to the masts of the ships.

( (IP-MAT (NP-SBJ;{SWALLOW} (PRO He;{he}))
          (ILYR (ILYR (VBD;_Ipr_ passed;{pass[over]})
                      (PP-CLR (P-ROLE over;{over})
                              (NP (D the;{the})
                                  (N river;{river}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ saw;{see})
                             (NP-OB1 (D the;{the})
                                     (NS lanterns;{lantern})
                                     (IP-PPL (VAG;_Ipr_ hanging;{hang[to]})
                                             (PP-CLR (P-ROLE to;{to})
                                                     (NP (D the;{the})
                                                         (NS masts;{mast})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (D the;{the})
                                                                 (NS ships;{ship}))))))))))
          (PUNC .))
  (ID 100_a_wilde_1_1888))

arc(r_0100_0002__passed_r_0100_0003__over,r_0100_0001__He,arg0).
arc(r_0100_0002__passed_r_0100_0003__over,r_0100_0004__the_r_0100_0005__river,arg1).
arc(r_0100_0007__and,r_0100_0002__passed_r_0100_0003__over,conj1).
arc(r_0100_0007__and,r_0100_0008__saw,conj2).
arc(r_0100_0008__saw,r_0100_0001__He,arg0).
arc(r_0100_0008__saw,r_0100_0009__the_r_0100_0010__lanterns,arg1).
arc(r_0100_0011__hanging_r_0100_0012__to,r_0100_0009__the_r_0100_0010__lanterns,inv_arg0).
arc(r_0100_0011__hanging_r_0100_0012__to,r_0100_0013__the_r_0100_0014__masts,arg1).
arc(r_0100_0013__the_r_0100_0014__masts,r_0100_0016__the_r_0100_0017__ships,r_0100_0015__of).

fof(formula,axiom,
    ? [R_0100_0001__HE,R_0100_0004__THE_R_0100_0005__RIVER,R_0100_0002__PASSED_R_0100_0003__OVER,R_0100_0016__THE_R_0100_0017__SHIPS,R_0100_0013__THE_R_0100_0014__MASTS,R_0100_0011__HANGING_R_0100_0012__TO,R_0100_0009__THE_R_0100_0010__LANTERNS,R_0100_0008__SAW,R_0100_0007__AND] :
      ( r_0100_0001__He(R_0100_0001__HE)
      & r_0100_0004__the_r_0100_0005__river(R_0100_0004__THE_R_0100_0005__RIVER)
      & r_0100_0016__the_r_0100_0017__ships(R_0100_0016__THE_R_0100_0017__SHIPS)
      & r_0100_0007__and(R_0100_0007__AND)
      & has_conj2(R_0100_0007__AND,R_0100_0008__SAW)
      & r_0100_0008__saw(R_0100_0008__SAW)
      & has_arg1(R_0100_0008__SAW,R_0100_0009__THE_R_0100_0010__LANTERNS)
      & r_0100_0009__the_r_0100_0010__lanterns(R_0100_0009__THE_R_0100_0010__LANTERNS)
      & has_inv_arg0(R_0100_0009__THE_R_0100_0010__LANTERNS,R_0100_0011__HANGING_R_0100_0012__TO)
      & r_0100_0011__hanging_r_0100_0012__to(R_0100_0011__HANGING_R_0100_0012__TO)
      & has_arg1(R_0100_0011__HANGING_R_0100_0012__TO,R_0100_0013__THE_R_0100_0014__MASTS)
      & r_0100_0013__the_r_0100_0014__masts(R_0100_0013__THE_R_0100_0014__MASTS)
      & has_r_0100_0015__of(R_0100_0013__THE_R_0100_0014__MASTS,R_0100_0016__THE_R_0100_0017__SHIPS)
      & has_arg0(R_0100_0008__SAW,R_0100_0001__HE)
      & has_conj1(R_0100_0007__AND,R_0100_0002__PASSED_R_0100_0003__OVER)
      & r_0100_0002__passed_r_0100_0003__over(R_0100_0002__PASSED_R_0100_0003__OVER)
      & has_arg1(R_0100_0002__PASSED_R_0100_0003__OVER,R_0100_0004__THE_R_0100_0005__RIVER)
      & has_arg0(R_0100_0002__PASSED_R_0100_0003__OVER,R_0100_0001__HE) ) ).