TSPC 44_a_lob

44_a_lob_a02
‘If you have not dispersed by ten o'clock,’ he told them, ‘the police will act.’

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

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__nim).
arc(r_0044_0008__ten,r_0044_0009__o_apos_clock,qual).
arc(r_0044_0013__told,r_0044_0003__you,arg2).
arc(r_0044_0013__told,r_0044_0012__he,arg0).
arc(r_0044_0019__will,r_0044_0013__told,prn).
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_0044_0005__NOT] :
      ( ~ ? [R_0044_0003__YOU,R_0044_0009__O_APOS_CLOCK,R_0044_0008__TEN,R_0044_0004__HAVE_R_0044_0006__DISPERSED] :
            ( r_0044_0003__you(R_0044_0003__YOU)
            & r_0044_0009__o_apos_clock(R_0044_0009__O_APOS_CLOCK)
            & r_0044_0004__have_r_0044_0006__dispersed(R_0044_0004__HAVE_R_0044_0006__DISPERSED)
            & has_r_0044_0007__by__nim(R_0044_0004__HAVE_R_0044_0006__DISPERSED,R_0044_0008__TEN)
            & r_0044_0008__ten(R_0044_0008__TEN)
            & has_qual(R_0044_0008__TEN,R_0044_0009__O_APOS_CLOCK)
            & has_arg0(R_0044_0004__HAVE_R_0044_0006__DISPERSED,R_0044_0003__YOU) )
     => ? [R_0044_0003__YOU,R_0044_0012__HE,R_0044_0013__TOLD,R_0044_0017__THE_R_0044_0018__POLICE,R_0044_0019__WILL_R_0044_0020__ACT] :
          ( r_0044_0003__you(R_0044_0003__YOU)
          & r_0044_0012__he(R_0044_0012__HE)
          & r_0044_0017__the_r_0044_0018__police(R_0044_0017__THE_R_0044_0018__POLICE)
          & r_0044_0019__will_r_0044_0020__act(R_0044_0019__WILL_R_0044_0020__ACT)
          & has_arg0(R_0044_0019__WILL_R_0044_0020__ACT,R_0044_0017__THE_R_0044_0018__POLICE)
          & has_prn(R_0044_0019__WILL_R_0044_0020__ACT,R_0044_0013__TOLD)
          & r_0044_0013__told(R_0044_0013__TOLD)
          & has_arg0(R_0044_0013__TOLD,R_0044_0012__HE)
          & has_arg2(R_0044_0013__TOLD,R_0044_0003__YOU) ) ) ).