TSPC 81_a_hardy

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

arc(r_0081_0003__arose, r_0081_0001__The_r_0081_0002__shepherd, arg0).
arc(r_0081_0005__snuffed, r_0081_0001__The_r_0081_0002__shepherd, arg0).
arc(r_0081_0005__snuffed, r_0081_0006__two, arg1).
arc(r_0081_0006__two, r_0081_0008__the_r_0081_0010__candles, r_0081_0007__of).
arc(r_0081_0008__the_r_0081_0010__candles, r_0081_0009__nearest, attrib26).
arc(r_0081_0012__and, r_0081_0003__arose, conj1).
arc(r_0081_0012__and, r_0081_0005__snuffed, conj2).
arc(r_0081_0012__and, z_000_81_a_hardy_1883_39, conj3).
arc(r_0081_0013__turned, r_0081_0001__The_r_0081_0002__shepherd, arg0).
arc(r_0081_0014__to_r_0081_0015__look, r_0081_0001__The_r_0081_0002__shepherd, arg0).
arc(r_0081_0014__to_r_0081_0015__look, r_0081_0017__him, r_0081_0016__at_clr48).
arc(z_000_81_a_hardy_1883_39, r_0081_0013__turned, scope).
arc(z_000_81_a_hardy_1883_39, r_0081_0014__to_r_0081_0015__look, restriction).

fof(formula,axiom,
    ? [R_0081_0001__THE_R_0081_0002__SHEPHERD,R_0081_0003__AROSE,R_0081_0009__NEAREST,R_0081_0008__THE_R_0081_0010__CANDLES,R_0081_0006__TWO,R_0081_0005__SNUFFED,R_0081_0013__TURNED,R_0081_0017__HIM,R_0081_0014__TO_R_0081_0015__LOOK,Z_000_81_A_HARDY_1883_39,R_0081_0012__AND] :
      ( r_0081_0001__The_r_0081_0002__shepherd(R_0081_0001__THE_R_0081_0002__SHEPHERD)
      & r_0081_0009__nearest(R_0081_0009__NEAREST)
      & r_0081_0017__him(R_0081_0017__HIM)
      & r_0081_0012__and(R_0081_0012__AND)
      & has_conj3(R_0081_0012__AND,Z_000_81_A_HARDY_1883_39)
      & z_000_81_a_hardy_1883_39(Z_000_81_A_HARDY_1883_39)
      & has_conj1(Z_000_81_A_HARDY_1883_39,R_0081_0014__TO_R_0081_0015__LOOK)
      & r_0081_0014__to_r_0081_0015__look(R_0081_0014__TO_R_0081_0015__LOOK)
      & has_r_0081_0016__at_clr48(R_0081_0014__TO_R_0081_0015__LOOK,R_0081_0017__HIM)
      & has_arg0(R_0081_0014__TO_R_0081_0015__LOOK,R_0081_0001__THE_R_0081_0002__SHEPHERD)
      & has_conj2(Z_000_81_A_HARDY_1883_39,R_0081_0013__TURNED)
      & r_0081_0013__turned(R_0081_0013__TURNED)
      & has_arg0(R_0081_0013__TURNED,R_0081_0001__THE_R_0081_0002__SHEPHERD)
      & has_conj2(R_0081_0012__AND,R_0081_0005__SNUFFED)
      & r_0081_0005__snuffed(R_0081_0005__SNUFFED)
      & has_arg1(R_0081_0005__SNUFFED,R_0081_0006__TWO)
      & r_0081_0006__two(R_0081_0006__TWO)
      & has_r_0081_0007__of(R_0081_0006__TWO,R_0081_0008__THE_R_0081_0010__CANDLES)
      & r_0081_0008__the_r_0081_0010__candles(R_0081_0008__THE_R_0081_0010__CANDLES)
      & has_attrib26(R_0081_0008__THE_R_0081_0010__CANDLES,R_0081_0009__NEAREST)
      & has_arg0(R_0081_0005__SNUFFED,R_0081_0001__THE_R_0081_0002__SHEPHERD)
      & has_conj1(R_0081_0012__AND,R_0081_0003__AROSE)
      & r_0081_0003__arose(R_0081_0003__AROSE)
      & has_arg0(R_0081_0003__AROSE,R_0081_0001__THE_R_0081_0002__SHEPHERD) ) ).

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