Context                Previous, Next                Top


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

%3 r_0044_0002__If If r_0044_0004__have_r_0044_0005__not have not r_0044_0002__If->r_0044_0004__have_r_0044_0005__not [restriction] r_0044_0019__will will r_0044_0002__If->r_0044_0019__will [scope] r_0044_0006__dispersed dispersed r_0044_0004__have_r_0044_0005__not->r_0044_0006__dispersed [scope] r_0044_0020__act act r_0044_0019__will->r_0044_0020__act [scope] r_0044_0003__you you r_0044_0006__dispersed->r_0044_0003__you [arg0] r_0044_0008__ten ten r_0044_0006__dispersed->r_0044_0008__ten by [nim] r_0044_0009__o_apos_clock o'clock r_0044_0008__ten->r_0044_0009__o_apos_clock [qual] r_0044_0017__the_r_0044_0018__police the police r_0044_0020__act->r_0044_0017__the_r_0044_0018__police [arg0] 
arc(r_0044_0002__If, r_0044_0004__have_r_0044_0005__not, restriction).
arc(r_0044_0002__If, r_0044_0019__will, scope).
arc(r_0044_0004__have_r_0044_0005__not, r_0044_0006__dispersed, 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).


%3 r_0044_0019__will_r_0044_0020__act will act r_0044_0017__the_r_0044_0018__police the police r_0044_0019__will_r_0044_0020__act->r_0044_0017__the_r_0044_0018__police [arg0] r_0044_0008__ten ten r_0044_0009__o_apos_clock o'clock r_0044_0008__ten->r_0044_0009__o_apos_clock [qual] r_0044_0004__have_r_0044_0005__not_r_0044_0006__dispersed have not dispersed r_0044_0004__have_r_0044_0005__not_r_0044_0006__dispersed->r_0044_0008__ten by [nim] r_0044_0003__you you r_0044_0004__have_r_0044_0005__not_r_0044_0006__dispersed->r_0044_0003__you [arg0] r_0044_0002__If If r_0044_0002__If->r_0044_0019__will_r_0044_0020__act [scope] r_0044_0002__If->r_0044_0004__have_r_0044_0005__not_r_0044_0006__dispersed [restriction] 
fof(formula,axiom,
    ! [R_0044_0004__HAVE_R_0044_0005__NOT_R_0044_0006__DISPERSED,R_0044_0003__YOU,R_0044_0009__O_APOS_CLOCK,R_0044_0008__TEN] :
      ( ( r_0044_0003__you(R_0044_0003__YOU)
        & r_0044_0009__o_apos_clock(R_0044_0009__O_APOS_CLOCK)
        & ~ ( has_r_0044_0007__by_nim21(R_0044_0004__HAVE_R_0044_0005__NOT_R_0044_0006__DISPERSED,R_0044_0008__TEN)
            & r_0044_0008__ten(R_0044_0008__TEN)
            & has_qual24(R_0044_0008__TEN,R_0044_0009__O_APOS_CLOCK)
            & has_arg0(R_0044_0004__HAVE_R_0044_0005__NOT_R_0044_0006__DISPERSED,R_0044_0003__YOU) ) )
     => ? [R_0044_0017__THE_R_0044_0018__POLICE,R_0044_0019__WILL_R_0044_0020__ACT] :
          ( 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) ) ) ).


n44_a_lob_a02 n44_a_lob_a02__1_1_1 <lquo> n44_a_lob_a02__1_2_1_1 If n44_a_lob_a02__1_2_2_1_1_1 you n44_a_lob_a02__1_2_2_2_1 have n44_a_lob_a02__1_2_2_3_1 not n44_a_lob_a02__1_2_2_4_1_1 dispersed n44_a_lob_a02__1_2_2_4_2_1_1 by n44_a_lob_a02__1_2_2_4_2_2_1_1 ten n44_a_lob_a02__1_2_2_4_2_2_2_1_1 o'clock n44_a_lob_a02__1_3_1 , n44_a_lob_a02__1_4_1 <rquo> n44_a_lob_a02__1_5_1_1_1_1 he n44_a_lob_a02__1_5_1_2_1 told n44_a_lob_a02__1_5_1_3_1_1 them n44_a_lob_a02__1_6_1 , n44_a_lob_a02__1_7_1 <lquo> n44_a_lob_a02__1_8_1_1 the n44_a_lob_a02__1_8_2_1 police n44_a_lob_a02__1_9_1 will n44_a_lob_a02__1_10_1_1 act n44_a_lob_a02__1_11_1 . n44_a_lob_a02__1_12_1 <rquo> n44_a_lob_a02__1 IP-MAT n44_a_lob_a02__1_1 PULQ n44_a_lob_a02__1->n44_a_lob_a02__1_1 n44_a_lob_a02__1_2 PP-SCON n44_a_lob_a02__1->n44_a_lob_a02__1_2 n44_a_lob_a02__1_3 PUNC n44_a_lob_a02__1->n44_a_lob_a02__1_3 n44_a_lob_a02__1_4 PURQ n44_a_lob_a02__1->n44_a_lob_a02__1_4 n44_a_lob_a02__1_5 PRN n44_a_lob_a02__1->n44_a_lob_a02__1_5 n44_a_lob_a02__1_6 PUNC n44_a_lob_a02__1->n44_a_lob_a02__1_6 n44_a_lob_a02__1_7 PULQ n44_a_lob_a02__1->n44_a_lob_a02__1_7 n44_a_lob_a02__1_8 NP-SBJ n44_a_lob_a02__1->n44_a_lob_a02__1_8 n44_a_lob_a02__1_9 MD;_cat_Vi_ n44_a_lob_a02__1->n44_a_lob_a02__1_9 n44_a_lob_a02__1_10 IP-INF-CAT n44_a_lob_a02__1->n44_a_lob_a02__1_10 n44_a_lob_a02__1_11 PUNC n44_a_lob_a02__1->n44_a_lob_a02__1_11 n44_a_lob_a02__1_12 PURQ n44_a_lob_a02__1->n44_a_lob_a02__1_12 n44_a_lob_a02__1_1->n44_a_lob_a02__1_1_1 n44_a_lob_a02__1_2_1 P-CONN n44_a_lob_a02__1_2->n44_a_lob_a02__1_2_1 n44_a_lob_a02__1_2_2 IP-ADV n44_a_lob_a02__1_2->n44_a_lob_a02__1_2_2 n44_a_lob_a02__1_2_1->n44_a_lob_a02__1_2_1_1 n44_a_lob_a02__1_2_2_1 NP-SBJ n44_a_lob_a02__1_2_2->n44_a_lob_a02__1_2_2_1 n44_a_lob_a02__1_2_2_2 HVP;_cat_Ve_ n44_a_lob_a02__1_2_2->n44_a_lob_a02__1_2_2_2 n44_a_lob_a02__1_2_2_3 NEG n44_a_lob_a02__1_2_2->n44_a_lob_a02__1_2_2_3 n44_a_lob_a02__1_2_2_4 IP-PPL-CAT n44_a_lob_a02__1_2_2->n44_a_lob_a02__1_2_2_4 n44_a_lob_a02__1_2_2_1_1 PRO n44_a_lob_a02__1_2_2_1->n44_a_lob_a02__1_2_2_1_1 n44_a_lob_a02__1_2_2_1_1->n44_a_lob_a02__1_2_2_1_1_1 n44_a_lob_a02__1_2_2_2->n44_a_lob_a02__1_2_2_2_1 n44_a_lob_a02__1_2_2_3->n44_a_lob_a02__1_2_2_3_1 n44_a_lob_a02__1_2_2_4_1 VVN;_I_ n44_a_lob_a02__1_2_2_4->n44_a_lob_a02__1_2_2_4_1 n44_a_lob_a02__1_2_2_4_2 PP-NIM n44_a_lob_a02__1_2_2_4->n44_a_lob_a02__1_2_2_4_2 n44_a_lob_a02__1_2_2_4_1->n44_a_lob_a02__1_2_2_4_1_1 n44_a_lob_a02__1_2_2_4_2_1 P-ROLE n44_a_lob_a02__1_2_2_4_2->n44_a_lob_a02__1_2_2_4_2_1 n44_a_lob_a02__1_2_2_4_2_2 NP n44_a_lob_a02__1_2_2_4_2->n44_a_lob_a02__1_2_2_4_2_2 n44_a_lob_a02__1_2_2_4_2_1->n44_a_lob_a02__1_2_2_4_2_1_1 n44_a_lob_a02__1_2_2_4_2_2_1 NUM n44_a_lob_a02__1_2_2_4_2_2->n44_a_lob_a02__1_2_2_4_2_2_1 n44_a_lob_a02__1_2_2_4_2_2_2 ADVP n44_a_lob_a02__1_2_2_4_2_2->n44_a_lob_a02__1_2_2_4_2_2_2 n44_a_lob_a02__1_2_2_4_2_2_1->n44_a_lob_a02__1_2_2_4_2_2_1_1 n44_a_lob_a02__1_2_2_4_2_2_2_1 ADV n44_a_lob_a02__1_2_2_4_2_2_2->n44_a_lob_a02__1_2_2_4_2_2_2_1 n44_a_lob_a02__1_2_2_4_2_2_2_1->n44_a_lob_a02__1_2_2_4_2_2_2_1_1 n44_a_lob_a02__1_3->n44_a_lob_a02__1_3_1 n44_a_lob_a02__1_4->n44_a_lob_a02__1_4_1 n44_a_lob_a02__1_5_1 IP-MAT n44_a_lob_a02__1_5->n44_a_lob_a02__1_5_1 n44_a_lob_a02__1_5_1_1 NP-SBJ n44_a_lob_a02__1_5_1->n44_a_lob_a02__1_5_1_1 n44_a_lob_a02__1_5_1_2 VBD;_Dn.r_ n44_a_lob_a02__1_5_1->n44_a_lob_a02__1_5_1_2 n44_a_lob_a02__1_5_1_3 NP-OB2 n44_a_lob_a02__1_5_1->n44_a_lob_a02__1_5_1_3 n44_a_lob_a02__1_5_1_1_1 PRO n44_a_lob_a02__1_5_1_1->n44_a_lob_a02__1_5_1_1_1 n44_a_lob_a02__1_5_1_1_1->n44_a_lob_a02__1_5_1_1_1_1 n44_a_lob_a02__1_5_1_2->n44_a_lob_a02__1_5_1_2_1 n44_a_lob_a02__1_5_1_3_1 PRO n44_a_lob_a02__1_5_1_3->n44_a_lob_a02__1_5_1_3_1 n44_a_lob_a02__1_5_1_3_1->n44_a_lob_a02__1_5_1_3_1_1 n44_a_lob_a02__1_6->n44_a_lob_a02__1_6_1 n44_a_lob_a02__1_7->n44_a_lob_a02__1_7_1 n44_a_lob_a02__1_8_1 D n44_a_lob_a02__1_8->n44_a_lob_a02__1_8_1 n44_a_lob_a02__1_8_2 N n44_a_lob_a02__1_8->n44_a_lob_a02__1_8_2 n44_a_lob_a02__1_8_1->n44_a_lob_a02__1_8_1_1 n44_a_lob_a02__1_8_2->n44_a_lob_a02__1_8_2_1 n44_a_lob_a02__1_9->n44_a_lob_a02__1_9_1 n44_a_lob_a02__1_10_1 VB;_I_ n44_a_lob_a02__1_10->n44_a_lob_a02__1_10_1 n44_a_lob_a02__1_10_1->n44_a_lob_a02__1_10_1_1 n44_a_lob_a02__1_11->n44_a_lob_a02__1_11_1 n44_a_lob_a02__1_12->n44_a_lob_a02__1_12_1 
( (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))