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,
    ? [Z_86_A_LOB_N01_2,R_86_6_WAS,R_86_4_THE_STRIP,R_86_8_CLEAR,R_86_7_COMPLETELY,R_86_2_AN_HOUR,R_86_21_HASTENED,R_86_22_TO_REMOVE,R_86_10_A_HORDE,R_86_17_AND,R_86_16_FAMILY,R_86_20_WORKPEOPLE,R_86_13_THE_FARMER_APOS_S,R_86_28_BUT,R_86_30_TRACE,R_86_33_PRESENCE,R_86_26_THE_CATTLE,R_86_24_NOT_ONLY] :
      ( the_strip(R_86_4_THE_STRIP)
      & completely(R_86_7_COMPLETELY)
      & an_hour(R_86_2_AN_HOUR)
      & the_farmer_apos_s(R_86_13_THE_FARMER_APOS_S)
      & not_only(R_86_24_NOT_ONLY)
      & ( true
       => true )
      & ( true
       => true )
      & z_86_a_lob_n01_2(Z_86_A_LOB_N01_2)
      & conj1(Z_86_A_LOB_N01_2,R_86_6_WAS)
      & was(R_86_6_WAS,R_86_4_THE_STRIP,R_86_8_CLEAR)
      & clear(R_86_8_CLEAR)
      & qual20(R_86_8_CLEAR,R_86_7_COMPLETELY)
      & within_nim7(R_86_6_WAS,R_86_2_AN_HOUR)
      & conj2(Z_86_A_LOB_N01_2,R_86_21_HASTENED)
      & hastened(R_86_21_HASTENED,R_86_10_A_HORDE,R_86_22_TO_REMOVE)
      & a_horde(R_86_10_A_HORDE)
      & of(R_86_10_A_HORDE,R_86_17_AND)
      & and(R_86_17_AND)
      & conj1(R_86_17_AND,R_86_16_FAMILY)
      & family(R_86_16_FAMILY)
      & gen(R_86_16_FAMILY,R_86_13_THE_FARMER_APOS_S)
      & conj2(R_86_17_AND,R_86_20_WORKPEOPLE)
      & workpeople(R_86_20_WORKPEOPLE)
      & gen(R_86_20_WORKPEOPLE,R_86_13_THE_FARMER_APOS_S)
      & to_remove(R_86_22_TO_REMOVE,R_86_10_A_HORDE,R_86_28_BUT)
      & but(R_86_28_BUT)
      & conj1(R_86_28_BUT,R_86_26_THE_CATTLE)
      & the_cattle(R_86_26_THE_CATTLE)
      & qual70(R_86_26_THE_CATTLE,R_86_24_NOT_ONLY)
      & conj2(R_86_28_BUT,R_86_30_TRACE)
      & trace(R_86_30_TRACE)
      & of(R_86_30_TRACE,R_86_33_PRESENCE)
      & presence(R_86_33_PRESENCE)
      & gen(R_86_33_PRESENCE,R_86_26_THE_CATTLE) ) ).

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