arc(r_0044_0002__If, r_0044_0005__not, restriction).
arc(r_0044_0002__If, r_0044_0019__will, scope).
arc(r_0044_0004__have, r_0044_0006__dispersed, scope).
arc(r_0044_0005__not, r_0044_0004__have, keep_scope).
arc(r_0044_0006__dispersed, r_0044_0003__you, arg0).
arc(r_0044_0006__dispersed, r_0044_0008__ten, r_0044_0007__by_nim21).
arc(r_0044_0008__ten, r_0044_0009__o_apos_clock, qual24).
arc(r_0044_0019__will, r_0044_0020__act, scope).
arc(r_0044_0020__act, r_0044_0017__the_r_0044_0018__police, arg0).

fof(formula,axiom,
    ( ~ ? [R_44_4_HAVE_DISPERSED,R_44_3_YOU,R_44_8_TEN,R_44_9_O_APOS_CLOCK] :
          ( you(R_44_3_YOU)
          & o_apos_clock(R_44_9_O_APOS_CLOCK)
          & have_dispersed(R_44_4_HAVE_DISPERSED,R_44_3_YOU)
          & by_nim21(R_44_4_HAVE_DISPERSED,R_44_8_TEN)
          & ten(R_44_8_TEN)
          & qual24(R_44_8_TEN,R_44_9_O_APOS_CLOCK) )
   => ? [R_44_19_WILL_ACT,R_44_17_THE_POLICE] :
        ( the_police(R_44_17_THE_POLICE)
        & will_act(R_44_19_WILL_ACT,R_44_17_THE_POLICE) ) ) ).

( (IP-MAT (PULQ <lquo>)
          (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{DEMONSTRATORS} (PRO you;{you}))
                           (HVP;_cat_Ve_ have;{have})
                           (NEG not;{not})
                           (IP-PPL-CAT (VVN;_I_ dispersed;{disperse})
                                       (PP-NIM (P-ROLE by;{by})
                                               (NP (NUM ten;{ten})
                                                   (ADVP (ADV o<apos>clock;{o<apos>clock})))))))
          (PUNC ,)
          (PURQ <rquo>)
          (PRN (IP-MAT (NP-SBJ;{EDUSEI} (PRO he;{he}))
                       (VBD;_Dn.r_ told;{tell})
                       (NP-OB2;{DEMONSTRATORS} (PRO them;{they}))))
          (PUNC ,)
          (PULQ <lquo>)
          (NP-SBJ (D the;{the})
                  (N police;{police}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_I_ act;{act}))
          (PUNC .)
          (PURQ <rquo>))
  (ID 44_a_lob_a02))