Context                Previous, Next                Top


45_a_lob_a02
At five to ten a posse of police arrived and in less than two minutes the crowd had gone.

%3 r_0045_0002__five five r_0045_0004__ten ten r_0045_0002__five->r_0045_0004__ten to r_0045_0005__a_r_0045_0006__posse a posse r_0045_0008__police police r_0045_0005__a_r_0045_0006__posse->r_0045_0008__police of r_0045_0009__arrived arrived r_0045_0009__arrived->r_0045_0002__five At [nim] r_0045_0009__arrived->r_0045_0005__a_r_0045_0006__posse [arg0] r_0045_0010__and and r_0045_0010__and->r_0045_0009__arrived [conj1] r_0045_0018__had had r_0045_0010__and->r_0045_0018__had [conj2] r_0045_0015__minutes minutes r_0045_0018__had->r_0045_0015__minutes in [nim] r_0045_0019__gone gone r_0045_0018__had->r_0045_0019__gone [scope] r_0045_0012__less less r_0045_0014__two two r_0045_0012__less->r_0045_0014__two than r_0045_0015__minutes->r_0045_0012__less [attrib] r_0045_0016__the_r_0045_0017__crowd the crowd r_0045_0019__gone->r_0045_0016__the_r_0045_0017__crowd [arg0] 
arc(r_0045_0002__five, r_0045_0004__ten, r_0045_0003__to).
arc(r_0045_0005__a_r_0045_0006__posse, r_0045_0008__police, r_0045_0007__of).
arc(r_0045_0009__arrived, r_0045_0002__five, r_0045_0001__At_nim7).
arc(r_0045_0009__arrived, r_0045_0005__a_r_0045_0006__posse, arg0).
arc(r_0045_0010__and, r_0045_0009__arrived, conj1).
arc(r_0045_0010__and, r_0045_0018__had, conj2).
arc(r_0045_0012__less, r_0045_0014__two, r_0045_0013__than).
arc(r_0045_0015__minutes, r_0045_0012__less, attrib37).
arc(r_0045_0018__had, r_0045_0015__minutes, r_0045_0011__in_nim36).
arc(r_0045_0018__had, r_0045_0019__gone, scope).
arc(r_0045_0019__gone, r_0045_0016__the_r_0045_0017__crowd, arg0).


%3 r_0045_0018__had_r_0045_0019__gone had gone r_0045_0016__the_r_0045_0017__crowd the crowd r_0045_0018__had_r_0045_0019__gone->r_0045_0016__the_r_0045_0017__crowd [arg0] r_0045_0015__minutes minutes r_0045_0018__had_r_0045_0019__gone->r_0045_0015__minutes in [nim] r_0045_0012__less less r_0045_0015__minutes->r_0045_0012__less [attrib] r_0045_0014__two two r_0045_0012__less->r_0045_0014__two than r_0045_0010__and and r_0045_0010__and->r_0045_0018__had_r_0045_0019__gone [conj2] r_0045_0009__arrived arrived r_0045_0010__and->r_0045_0009__arrived [conj1] r_0045_0005__a_r_0045_0006__posse a posse r_0045_0009__arrived->r_0045_0005__a_r_0045_0006__posse [arg0] r_0045_0002__five five r_0045_0009__arrived->r_0045_0002__five At [nim] r_0045_0008__police police r_0045_0005__a_r_0045_0006__posse->r_0045_0008__police of r_0045_0004__ten ten r_0045_0002__five->r_0045_0004__ten to 
fof(formula,axiom,
    ? [R_45_10_AND,R_45_9_ARRIVED,R_45_5_A_POSSE,R_45_8_POLICE,R_45_2_FIVE,R_45_4_TEN,R_45_18_HAD_GONE,R_45_16_THE_CROWD,R_45_15_MINUTES,R_45_12_LESS,R_45_14_TWO] :
      ( police(R_45_8_POLICE)
      & ten(R_45_4_TEN)
      & the_crowd(R_45_16_THE_CROWD)
      & two(R_45_14_TWO)
      & and(R_45_10_AND)
      & conj1(R_45_10_AND,R_45_9_ARRIVED)
      & arrived(R_45_9_ARRIVED,R_45_5_A_POSSE)
      & a_posse(R_45_5_A_POSSE)
      & of(R_45_5_A_POSSE,R_45_8_POLICE)
      & at_nim7(R_45_9_ARRIVED,R_45_2_FIVE)
      & five(R_45_2_FIVE)
      & to(R_45_2_FIVE,R_45_4_TEN)
      & conj2(R_45_10_AND,R_45_18_HAD_GONE)
      & had_gone(R_45_18_HAD_GONE,R_45_16_THE_CROWD)
      & in_nim36(R_45_18_HAD_GONE,R_45_15_MINUTES)
      & minutes(R_45_15_MINUTES)
      & attrib37(R_45_15_MINUTES,R_45_12_LESS)
      & less(R_45_12_LESS)
      & than(R_45_12_LESS,R_45_14_TWO) ) ).


n45_a_lob_a02 n45_a_lob_a02__1_1_1_1_1_1 At n45_a_lob_a02__1_1_1_1_2_1_1 five n45_a_lob_a02__1_1_1_1_2_2_1_1 to n45_a_lob_a02__1_1_1_1_2_2_2_1_1 ten n45_a_lob_a02__1_1_1_2_1_1 a n45_a_lob_a02__1_1_1_2_2_1 posse n45_a_lob_a02__1_1_1_2_3_1_1 of n45_a_lob_a02__1_1_1_2_3_2_1_1 police n45_a_lob_a02__1_1_1_3_1 arrived n45_a_lob_a02__1_1_2_1_1 and n45_a_lob_a02__1_1_2_2_1_1_1 in n45_a_lob_a02__1_1_2_2_1_2_1_1_1 less n45_a_lob_a02__1_1_2_2_1_2_1_2_1_1 than n45_a_lob_a02__1_1_2_2_1_2_1_2_2_1_1 two n45_a_lob_a02__1_1_2_2_1_2_2_1 minutes n45_a_lob_a02__1_1_2_2_2_1_1 the n45_a_lob_a02__1_1_2_2_2_2_1 crowd n45_a_lob_a02__1_1_2_2_3_1 had n45_a_lob_a02__1_1_2_2_4_1_1 gone n45_a_lob_a02__1_2_1 . n45_a_lob_a02__1 IP-MAT n45_a_lob_a02__1_1 ILYR n45_a_lob_a02__1->n45_a_lob_a02__1_1 n45_a_lob_a02__1_2 PUNC n45_a_lob_a02__1->n45_a_lob_a02__1_2 n45_a_lob_a02__1_1_1 ILYR n45_a_lob_a02__1_1->n45_a_lob_a02__1_1_1 n45_a_lob_a02__1_1_2 CONJP n45_a_lob_a02__1_1->n45_a_lob_a02__1_1_2 n45_a_lob_a02__1_1_1_1 PP-NIM n45_a_lob_a02__1_1_1->n45_a_lob_a02__1_1_1_1 n45_a_lob_a02__1_1_1_2 NP-SBJ n45_a_lob_a02__1_1_1->n45_a_lob_a02__1_1_1_2 n45_a_lob_a02__1_1_1_3 VBD;_I_ n45_a_lob_a02__1_1_1->n45_a_lob_a02__1_1_1_3 n45_a_lob_a02__1_1_1_1_1 P-ROLE n45_a_lob_a02__1_1_1_1->n45_a_lob_a02__1_1_1_1_1 n45_a_lob_a02__1_1_1_1_2 NP n45_a_lob_a02__1_1_1_1->n45_a_lob_a02__1_1_1_1_2 n45_a_lob_a02__1_1_1_1_1->n45_a_lob_a02__1_1_1_1_1_1 n45_a_lob_a02__1_1_1_1_2_1 NUM n45_a_lob_a02__1_1_1_1_2->n45_a_lob_a02__1_1_1_1_2_1 n45_a_lob_a02__1_1_1_1_2_2 PP n45_a_lob_a02__1_1_1_1_2->n45_a_lob_a02__1_1_1_1_2_2 n45_a_lob_a02__1_1_1_1_2_1->n45_a_lob_a02__1_1_1_1_2_1_1 n45_a_lob_a02__1_1_1_1_2_2_1 P-ROLE n45_a_lob_a02__1_1_1_1_2_2->n45_a_lob_a02__1_1_1_1_2_2_1 n45_a_lob_a02__1_1_1_1_2_2_2 NP n45_a_lob_a02__1_1_1_1_2_2->n45_a_lob_a02__1_1_1_1_2_2_2 n45_a_lob_a02__1_1_1_1_2_2_1->n45_a_lob_a02__1_1_1_1_2_2_1_1 n45_a_lob_a02__1_1_1_1_2_2_2_1 NUM n45_a_lob_a02__1_1_1_1_2_2_2->n45_a_lob_a02__1_1_1_1_2_2_2_1 n45_a_lob_a02__1_1_1_1_2_2_2_1->n45_a_lob_a02__1_1_1_1_2_2_2_1_1 n45_a_lob_a02__1_1_1_2_1 D n45_a_lob_a02__1_1_1_2->n45_a_lob_a02__1_1_1_2_1 n45_a_lob_a02__1_1_1_2_2 N n45_a_lob_a02__1_1_1_2->n45_a_lob_a02__1_1_1_2_2 n45_a_lob_a02__1_1_1_2_3 PP n45_a_lob_a02__1_1_1_2->n45_a_lob_a02__1_1_1_2_3 n45_a_lob_a02__1_1_1_2_1->n45_a_lob_a02__1_1_1_2_1_1 n45_a_lob_a02__1_1_1_2_2->n45_a_lob_a02__1_1_1_2_2_1 n45_a_lob_a02__1_1_1_2_3_1 P-ROLE n45_a_lob_a02__1_1_1_2_3->n45_a_lob_a02__1_1_1_2_3_1 n45_a_lob_a02__1_1_1_2_3_2 NP n45_a_lob_a02__1_1_1_2_3->n45_a_lob_a02__1_1_1_2_3_2 n45_a_lob_a02__1_1_1_2_3_1->n45_a_lob_a02__1_1_1_2_3_1_1 n45_a_lob_a02__1_1_1_2_3_2_1 NS n45_a_lob_a02__1_1_1_2_3_2->n45_a_lob_a02__1_1_1_2_3_2_1 n45_a_lob_a02__1_1_1_2_3_2_1->n45_a_lob_a02__1_1_1_2_3_2_1_1 n45_a_lob_a02__1_1_1_3->n45_a_lob_a02__1_1_1_3_1 n45_a_lob_a02__1_1_2_1 CONJ n45_a_lob_a02__1_1_2->n45_a_lob_a02__1_1_2_1 n45_a_lob_a02__1_1_2_2 ILYR n45_a_lob_a02__1_1_2->n45_a_lob_a02__1_1_2_2 n45_a_lob_a02__1_1_2_1->n45_a_lob_a02__1_1_2_1_1 n45_a_lob_a02__1_1_2_2_1 PP-NIM n45_a_lob_a02__1_1_2_2->n45_a_lob_a02__1_1_2_2_1 n45_a_lob_a02__1_1_2_2_2 NP-SBJ n45_a_lob_a02__1_1_2_2->n45_a_lob_a02__1_1_2_2_2 n45_a_lob_a02__1_1_2_2_3 HVD;_cat_Ve_ n45_a_lob_a02__1_1_2_2->n45_a_lob_a02__1_1_2_2_3 n45_a_lob_a02__1_1_2_2_4 IP-PPL-CAT n45_a_lob_a02__1_1_2_2->n45_a_lob_a02__1_1_2_2_4 n45_a_lob_a02__1_1_2_2_1_1 P-ROLE n45_a_lob_a02__1_1_2_2_1->n45_a_lob_a02__1_1_2_2_1_1 n45_a_lob_a02__1_1_2_2_1_2 NP n45_a_lob_a02__1_1_2_2_1->n45_a_lob_a02__1_1_2_2_1_2 n45_a_lob_a02__1_1_2_2_1_1->n45_a_lob_a02__1_1_2_2_1_1_1 n45_a_lob_a02__1_1_2_2_1_2_1 ADJP n45_a_lob_a02__1_1_2_2_1_2->n45_a_lob_a02__1_1_2_2_1_2_1 n45_a_lob_a02__1_1_2_2_1_2_2 NS n45_a_lob_a02__1_1_2_2_1_2->n45_a_lob_a02__1_1_2_2_1_2_2 n45_a_lob_a02__1_1_2_2_1_2_1_1 ADJ n45_a_lob_a02__1_1_2_2_1_2_1->n45_a_lob_a02__1_1_2_2_1_2_1_1 n45_a_lob_a02__1_1_2_2_1_2_1_2 PP n45_a_lob_a02__1_1_2_2_1_2_1->n45_a_lob_a02__1_1_2_2_1_2_1_2 n45_a_lob_a02__1_1_2_2_1_2_1_1->n45_a_lob_a02__1_1_2_2_1_2_1_1_1 n45_a_lob_a02__1_1_2_2_1_2_1_2_1 P-ROLE n45_a_lob_a02__1_1_2_2_1_2_1_2->n45_a_lob_a02__1_1_2_2_1_2_1_2_1 n45_a_lob_a02__1_1_2_2_1_2_1_2_2 NP n45_a_lob_a02__1_1_2_2_1_2_1_2->n45_a_lob_a02__1_1_2_2_1_2_1_2_2 n45_a_lob_a02__1_1_2_2_1_2_1_2_1->n45_a_lob_a02__1_1_2_2_1_2_1_2_1_1 n45_a_lob_a02__1_1_2_2_1_2_1_2_2_1 NUM n45_a_lob_a02__1_1_2_2_1_2_1_2_2->n45_a_lob_a02__1_1_2_2_1_2_1_2_2_1 n45_a_lob_a02__1_1_2_2_1_2_1_2_2_1->n45_a_lob_a02__1_1_2_2_1_2_1_2_2_1_1 n45_a_lob_a02__1_1_2_2_1_2_2->n45_a_lob_a02__1_1_2_2_1_2_2_1 n45_a_lob_a02__1_1_2_2_2_1 D n45_a_lob_a02__1_1_2_2_2->n45_a_lob_a02__1_1_2_2_2_1 n45_a_lob_a02__1_1_2_2_2_2 N n45_a_lob_a02__1_1_2_2_2->n45_a_lob_a02__1_1_2_2_2_2 n45_a_lob_a02__1_1_2_2_2_1->n45_a_lob_a02__1_1_2_2_2_1_1 n45_a_lob_a02__1_1_2_2_2_2->n45_a_lob_a02__1_1_2_2_2_2_1 n45_a_lob_a02__1_1_2_2_3->n45_a_lob_a02__1_1_2_2_3_1 n45_a_lob_a02__1_1_2_2_4_1 VVN;_I_ n45_a_lob_a02__1_1_2_2_4->n45_a_lob_a02__1_1_2_2_4_1 n45_a_lob_a02__1_1_2_2_4_1->n45_a_lob_a02__1_1_2_2_4_1_1 n45_a_lob_a02__1_2->n45_a_lob_a02__1_2_1 
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE At;{at})
                              (NP (NUM five;{five})
                                  (PP (P-ROLE to;{to})
                                      (NP (NUM ten;{ten})))))
                      (NP-SBJ (D a;{a})
                              (N posse;{posse})
                              (PP (P-ROLE of;{of})
                                  (NP (NS police;{police}))))
                      (VBD;_I_ arrived;{arrive}))
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (ADJP (ADJ less;{less})
                                               (PP (P-ROLE than;{than})
                                                   (NP (NUM two;{two}))))
                                         (NS minutes;{minute})))
                             (NP-SBJ (D the;{the})
                                     (N crowd;{crowd}))
                             (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (VVN;_I_ gone;{go})))))
          (PUNC .))
  (ID 45_a_lob_a02))