TSPC 86_a_lob

86_a_lob_n01
Within an hour the strip was completely clear; a horde of the farmer's family and all his workpeople hastened to remove not only the cattle but every trace of their presence.

arc(r_0086_0006__was, r_0086_0002__an_r_0086_0003__hour, r_0086_0001__Within_nim7).
arc(r_0086_0006__was, r_0086_0004__the_r_0086_0005__strip, arg0).
arc(r_0086_0006__was, r_0086_0008__clear, prd).
arc(r_0086_0008__clear, r_0086_0007__completely, qual20).
arc(r_0086_0010__a_r_0086_0011__horde, r_0086_0017__and, r_0086_0012__of).
arc(r_0086_0016__family, r_0086_0013__the_r_0086_0014__farmer_r_0086_0015___apos_s, gen).
arc(r_0086_0017__and, r_0086_0016__family, conj1).
arc(r_0086_0017__and, r_0086_0020__workpeople, conj2).
arc(r_0086_0018__all_quant, r_0086_0017__and, scope).
arc(r_0086_0018__all_quant, r_0086_0020__workpeople, restriction).
arc(r_0086_0020__workpeople, r_0086_0013__the_r_0086_0014__farmer_r_0086_0015___apos_s, gen).
arc(r_0086_0021__hastened, r_0086_0010__a_r_0086_0011__horde, arg0).
arc(r_0086_0021__hastened, r_0086_0022__to_r_0086_0023__remove, arg1).
arc(r_0086_0022__to_r_0086_0023__remove, r_0086_0010__a_r_0086_0011__horde, arg0).
arc(r_0086_0022__to_r_0086_0023__remove, r_0086_0028__but, arg1).
arc(r_0086_0026__the_r_0086_0027__cattle, r_0086_0024__not_r_0086_0025__only, qual70).
arc(r_0086_0028__but, r_0086_0026__the_r_0086_0027__cattle, conj1).
arc(r_0086_0028__but, r_0086_0030__trace, conj2).
arc(r_0086_0029__every_quant, r_0086_0028__but, scope).
arc(r_0086_0029__every_quant, r_0086_0030__trace, restriction).
arc(r_0086_0030__trace, r_0086_0033__presence, r_0086_0031__of).
arc(r_0086_0033__presence, r_0086_0026__the_r_0086_0027__cattle, gen).
arc(z_000_86_a_lob_n01_2, r_0086_0006__was, conj1).
arc(z_000_86_a_lob_n01_2, r_0086_0021__hastened, conj2).

fof(formula,axiom,
    ? [R_0086_0002__AN_R_0086_0003__HOUR,R_0086_0004__THE_R_0086_0005__STRIP,R_0086_0007__COMPLETELY,R_0086_0008__CLEAR,R_0086_0006__WAS,R_0086_0013__THE_R_0086_0014__FARMER_R_0086_0015___APOS_S,R_0086_0016__FAMILY,R_0086_0020__WORKPEOPLE,R_0086_0017__AND,R_0086_0010__A_R_0086_0011__HORDE,R_0086_0024__NOT_R_0086_0025__ONLY,R_0086_0026__THE_R_0086_0027__CATTLE,R_0086_0033__PRESENCE,R_0086_0030__TRACE,R_0086_0028__BUT,R_0086_0022__TO_R_0086_0023__REMOVE,R_0086_0021__HASTENED,Z_000_86_A_LOB_N01_2] :
      ( r_0086_0002__an_r_0086_0003__hour(R_0086_0002__AN_R_0086_0003__HOUR)
      & r_0086_0004__the_r_0086_0005__strip(R_0086_0004__THE_R_0086_0005__STRIP)
      & r_0086_0007__completely(R_0086_0007__COMPLETELY)
      & r_0086_0013__the_r_0086_0014__farmer_r_0086_0015___apos_s(R_0086_0013__THE_R_0086_0014__FARMER_R_0086_0015___APOS_S)
      & r_0086_0024__not_r_0086_0025__only(R_0086_0024__NOT_R_0086_0025__ONLY)
      & z_000_86_a_lob_n01_2(Z_000_86_A_LOB_N01_2)
      & has_conj2(Z_000_86_A_LOB_N01_2,R_0086_0021__HASTENED)
      & r_0086_0021__hastened(R_0086_0021__HASTENED)
      & has_arg1(R_0086_0021__HASTENED,R_0086_0022__TO_R_0086_0023__REMOVE)
      & r_0086_0022__to_r_0086_0023__remove(R_0086_0022__TO_R_0086_0023__REMOVE)
      & has_arg1(R_0086_0022__TO_R_0086_0023__REMOVE,R_0086_0028__BUT)
      & r_0086_0028__but(R_0086_0028__BUT)
      & has_conj2(R_0086_0028__BUT,R_0086_0030__TRACE)
      & r_0086_0030__trace(R_0086_0030__TRACE)
      & has_r_0086_0031__of(R_0086_0030__TRACE,R_0086_0033__PRESENCE)
      & r_0086_0033__presence(R_0086_0033__PRESENCE)
      & has_gen(R_0086_0033__PRESENCE,R_0086_0026__THE_R_0086_0027__CATTLE)
      & r_0086_0026__the_r_0086_0027__cattle(R_0086_0026__THE_R_0086_0027__CATTLE)
      & has_qual70(R_0086_0026__THE_R_0086_0027__CATTLE,R_0086_0024__NOT_R_0086_0025__ONLY)
      & has_conj1(R_0086_0028__BUT,R_0086_0026__THE_R_0086_0027__CATTLE)
      & has_arg0(R_0086_0022__TO_R_0086_0023__REMOVE,R_0086_0010__A_R_0086_0011__HORDE)
      & r_0086_0010__a_r_0086_0011__horde(R_0086_0010__A_R_0086_0011__HORDE)
      & has_r_0086_0012__of(R_0086_0010__A_R_0086_0011__HORDE,R_0086_0017__AND)
      & r_0086_0017__and(R_0086_0017__AND)
      & has_conj2(R_0086_0017__AND,R_0086_0020__WORKPEOPLE)
      & r_0086_0020__workpeople(R_0086_0020__WORKPEOPLE)
      & has_gen(R_0086_0020__WORKPEOPLE,R_0086_0013__THE_R_0086_0014__FARMER_R_0086_0015___APOS_S)
      & has_conj1(R_0086_0017__AND,R_0086_0016__FAMILY)
      & r_0086_0016__family(R_0086_0016__FAMILY)
      & has_gen(R_0086_0016__FAMILY,R_0086_0013__THE_R_0086_0014__FARMER_R_0086_0015___APOS_S)
      & has_arg0(R_0086_0021__HASTENED,R_0086_0010__A_R_0086_0011__HORDE)
      & has_conj1(Z_000_86_A_LOB_N01_2,R_0086_0006__WAS)
      & r_0086_0006__was(R_0086_0006__WAS)
      & has_prd(R_0086_0006__WAS,R_0086_0008__CLEAR)
      & r_0086_0008__clear(R_0086_0008__CLEAR)
      & has_qual20(R_0086_0008__CLEAR,R_0086_0007__COMPLETELY)
      & has_arg0(R_0086_0006__WAS,R_0086_0004__THE_R_0086_0005__STRIP)
      & has_r_0086_0001__Within_nim7(R_0086_0006__WAS,R_0086_0002__AN_R_0086_0003__HOUR)
      & ( r_0086_0030__trace(R_0086_0030__TRACE)
       => r_0086_0021__hastened(R_0086_0021__HASTENED) )
      & ( r_0086_0020__workpeople(R_0086_0020__WORKPEOPLE)
       => r_0086_0021__hastened(R_0086_0021__HASTENED) ) ) ).

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE Within;{within})
                              (NP (D an;{an})
                                  (N hour;{hour})))
                      (NP-SBJ (D the;{the})
                              (N strip;{strip}))
                      (BED;_La_ was;{be})
                      (ADJP-PRD (ADVP (ADV completely;{completely}))
                                (ADJ clear;{clear})))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (D a;{a})
                                     (N horde;{horde})
                                     (PP (P-ROLE of;{of})
                                         (NP (NLYR (NLYR (NP-GEN;{FARMER} (D the;{the})
                                                                          (N farmer;{farmer})
                                                                          (GENM <apos>s))
                                                         (N family;{family}))
                                                   (CONJP (CONJ and;{and})
                                                          (NLYR (Q all;{all})
                                                                (NP-GEN;{FARMER} (PRO;_genm_ his;{his}))
                                                                (N workpeople;{workpeople})))))))
                             (VBD;__ hastened;{hasten})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;__ remove;{remove})
                                         (NP-OB1 (NLYR (NLYR;{CATTLE} (ADVP (NEG not;{not})
                                                                            (ADV only;{only}))
                                                                      (D the;{the})
                                                                      (NS cattle;{cattle}))
                                                       (CONJP (CONJ but;{but})
                                                              (NLYR (Q every;{every})
                                                                    (N trace;{trace})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (NP-GEN;{CATTLE} (PRO;_genm_ their;{their}))
                                                                            (N presence;{presence})))))))))))
          (PUNC .))
  (ID 86_a_lob_n01))