TSPC 80_a_hardy

80_a_hardy_1883
The shepherd arose, snuffed two of the nearest candles, and turned to look at him.

( (IP-MAT (NP-SBJ;{FENNEL} (D The;{the})
                           (N shepherd;{shepherd}))
          (ILYR (ILYR (VBD;_I_ arose;{arise}))
                (PUNC ,)
                (CONJP (ILYR (VBD;_Tn_ snuffed;{snuff})
                             (NP-OB1;{CANDLES} (NUM two;{two})
                                               (PP (P-ROLE of;{of})
                                                   (NP (D the;{the})
                                                       (ADJP (ADJS nearest;{near}))
                                                       (NS candles;{candle}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ turned;{turn})
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;_Ipr_ look;{look[at]})
                                              (PP-CLR (P-ROLE at;{at})
                                                      (NP;{PEDESTRIAN} (PRO him;{he}))))))))
          (PUNC .))
  (ID 80_a_hardy_1883))

arc(r_0080_0003__arose,r_0080_0001__The_r_0080_0002__shepherd,arg0).
arc(r_0080_0005__snuffed,r_0080_0001__The_r_0080_0002__shepherd,arg0).
arc(r_0080_0005__snuffed,r_0080_0006__two,arg1).
arc(r_0080_0006__two,r_0080_0008__the_r_0080_0010__candles,r_0080_0007__of).
arc(r_0080_0008__the_r_0080_0010__candles,r_0080_0009__nearest,attrib).
arc(r_0080_0012__and,r_0080_0003__arose,conj1).
arc(r_0080_0012__and,r_0080_0005__snuffed,conj2).
arc(r_0080_0012__and,z_0080_5007,conj3).
arc(r_0080_0013__turned,r_0080_0001__The_r_0080_0002__shepherd,arg0).
arc(r_0080_0015__look_r_0080_0016__at,r_0080_0001__The_r_0080_0002__shepherd,arg0).
arc(r_0080_0015__look_r_0080_0016__at,r_0080_0017__him,arg1).
arc(z_0080_5007,r_0080_0013__turned,scope).
arc(z_0080_5007,r_0080_0015__look_r_0080_0016__at,restriction).

fof(formula,axiom,
    ? [R_0080_0001__THE_R_0080_0002__SHEPHERD,R_0080_0003__AROSE,R_0080_0009__NEAREST,R_0080_0008__THE_R_0080_0010__CANDLES,R_0080_0006__TWO,R_0080_0005__SNUFFED,R_0080_0013__TURNED,R_0080_0017__HIM,R_0080_0015__LOOK_R_0080_0016__AT,Z_0080_5007,R_0080_0012__AND] :
      ( r_0080_0001__The_r_0080_0002__shepherd(R_0080_0001__THE_R_0080_0002__SHEPHERD)
      & r_0080_0009__nearest(R_0080_0009__NEAREST)
      & r_0080_0017__him(R_0080_0017__HIM)
      & r_0080_0012__and(R_0080_0012__AND)
      & has_conj3(R_0080_0012__AND,Z_0080_5007)
      & z_0080_5007(Z_0080_5007)
      & has_conj1(Z_0080_5007,R_0080_0015__LOOK_R_0080_0016__AT)
      & r_0080_0015__look_r_0080_0016__at(R_0080_0015__LOOK_R_0080_0016__AT)
      & has_arg1(R_0080_0015__LOOK_R_0080_0016__AT,R_0080_0017__HIM)
      & has_arg0(R_0080_0015__LOOK_R_0080_0016__AT,R_0080_0001__THE_R_0080_0002__SHEPHERD)
      & has_conj2(Z_0080_5007,R_0080_0013__TURNED)
      & r_0080_0013__turned(R_0080_0013__TURNED)
      & has_arg0(R_0080_0013__TURNED,R_0080_0001__THE_R_0080_0002__SHEPHERD)
      & has_conj2(R_0080_0012__AND,R_0080_0005__SNUFFED)
      & r_0080_0005__snuffed(R_0080_0005__SNUFFED)
      & has_arg1(R_0080_0005__SNUFFED,R_0080_0006__TWO)
      & r_0080_0006__two(R_0080_0006__TWO)
      & has_r_0080_0007__of(R_0080_0006__TWO,R_0080_0008__THE_R_0080_0010__CANDLES)
      & r_0080_0008__the_r_0080_0010__candles(R_0080_0008__THE_R_0080_0010__CANDLES)
      & has_attrib(R_0080_0008__THE_R_0080_0010__CANDLES,R_0080_0009__NEAREST)
      & has_arg0(R_0080_0005__SNUFFED,R_0080_0001__THE_R_0080_0002__SHEPHERD)
      & has_conj1(R_0080_0012__AND,R_0080_0003__AROSE)
      & r_0080_0003__arose(R_0080_0003__AROSE)
      & has_arg0(R_0080_0003__AROSE,R_0080_0001__THE_R_0080_0002__SHEPHERD) ) ).