TSPC 45_a_lob

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

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

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__nim).
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,attrib).
arc(r_0045_0018__had,r_0045_0015__minutes,r_0045_0011__in__nim).
arc(r_0045_0018__had,r_0045_0019__gone,scope).
arc(r_0045_0019__gone,r_0045_0016__the_r_0045_0017__crowd,arg0).

fof(formula,axiom,
    ? [R_0045_0004__TEN,R_0045_0002__FIVE,R_0045_0008__POLICE,R_0045_0005__A_R_0045_0006__POSSE,R_0045_0009__ARRIVED,R_0045_0014__TWO,R_0045_0012__LESS,R_0045_0015__MINUTES,R_0045_0016__THE_R_0045_0017__CROWD,R_0045_0018__HAD_R_0045_0019__GONE,R_0045_0010__AND] :
      ( r_0045_0004__ten(R_0045_0004__TEN)
      & r_0045_0008__police(R_0045_0008__POLICE)
      & r_0045_0014__two(R_0045_0014__TWO)
      & r_0045_0016__the_r_0045_0017__crowd(R_0045_0016__THE_R_0045_0017__CROWD)
      & r_0045_0010__and(R_0045_0010__AND)
      & has_conj2(R_0045_0010__AND,R_0045_0018__HAD_R_0045_0019__GONE)
      & r_0045_0018__had_r_0045_0019__gone(R_0045_0018__HAD_R_0045_0019__GONE)
      & has_arg0(R_0045_0018__HAD_R_0045_0019__GONE,R_0045_0016__THE_R_0045_0017__CROWD)
      & has_r_0045_0011__in__nim(R_0045_0018__HAD_R_0045_0019__GONE,R_0045_0015__MINUTES)
      & r_0045_0015__minutes(R_0045_0015__MINUTES)
      & has_attrib(R_0045_0015__MINUTES,R_0045_0012__LESS)
      & r_0045_0012__less(R_0045_0012__LESS)
      & has_r_0045_0013__than(R_0045_0012__LESS,R_0045_0014__TWO)
      & has_conj1(R_0045_0010__AND,R_0045_0009__ARRIVED)
      & r_0045_0009__arrived(R_0045_0009__ARRIVED)
      & has_arg0(R_0045_0009__ARRIVED,R_0045_0005__A_R_0045_0006__POSSE)
      & r_0045_0005__a_r_0045_0006__posse(R_0045_0005__A_R_0045_0006__POSSE)
      & has_r_0045_0007__of(R_0045_0005__A_R_0045_0006__POSSE,R_0045_0008__POLICE)
      & has_r_0045_0001__At__nim(R_0045_0009__ARRIVED,R_0045_0002__FIVE)
      & r_0045_0002__five(R_0045_0002__FIVE)
      & has_r_0045_0003__to(R_0045_0002__FIVE,R_0045_0004__TEN) ) ).