TSPC 55_a_lob

55_a_lob_a02
Police were visiting people ‘on no pretext whatsoever, except to pass the time of day’;

( (IP-MAT (NP-SBJ (NS Police;{police}))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (VAG;_Tn_ visiting;{visit})
                      (NP-OB1 (NS people;{people}))
                      (PULQ <lquo>)
                      (PP-NIM (P-ROLE on;{on})
                              (NP (Q no;{no})
                                  (N pretext;{pretext})
                                  (ADVP (ADV whatsoever;{whatsoever}))
                                  (PUNC ,)
                                  (PP-SCON (P-CONN except;{except})
                                           (IP-INF (TO to;{to})
                                                   (VB;_Tn_ pass;{pass})
                                                   (NP-OB1 (D the;{the})
                                                           (N time;{time})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (N day;{day}))))))))
                      (PURQ <rquo>))
          (PUNC ;))
  (ID 55_a_lob_a02))

arc(r_0055_0002__were,r_0055_0003__visiting,scope).
arc(r_0055_0003__visiting,r_0055_0001__Police,arg0).
arc(r_0055_0003__visiting,r_0055_0004__people,arg1).
arc(r_0055_0003__visiting,r_0055_0008__pretext,r_0055_0006__on__nim).
arc(r_0055_0007__no__quant,r_0055_0002__were,scope).
arc(r_0055_0007__no__quant,r_0055_0011__except,restriction).
arc(r_0055_0008__pretext,r_0055_0009__whatsoever,qual).
arc(r_0055_0011__except,r_0055_0008__pretext,scope).
arc(r_0055_0011__except,r_0055_0013__pass,restriction).
arc(r_0055_0013__pass,r_0055_0008__pretext,arg0).
arc(r_0055_0013__pass,r_0055_0014__the_r_0055_0015__time,arg1).
arc(r_0055_0014__the_r_0055_0015__time,r_0055_0017__day,r_0055_0016__of).

fof(formula,axiom,
    ! [R_0055_0011__EXCEPT,R_0055_0001__POLICE,R_0055_0004__PEOPLE,R_0055_0009__WHATSOEVER,R_0055_0008__PRETEXT,R_0055_0002__WERE_R_0055_0003__VISITING,R_0055_0017__DAY,R_0055_0014__THE_R_0055_0015__TIME,R_0055_0013__PASS] :
      ( ( r_0055_0001__Police(R_0055_0001__POLICE)
        & r_0055_0004__people(R_0055_0004__PEOPLE)
        & r_0055_0009__whatsoever(R_0055_0009__WHATSOEVER)
        & r_0055_0017__day(R_0055_0017__DAY)
        & r_0055_0011__except(R_0055_0011__EXCEPT)
        & has_conj1(R_0055_0011__EXCEPT,R_0055_0013__PASS)
        & r_0055_0013__pass(R_0055_0013__PASS)
        & has_arg1(R_0055_0013__PASS,R_0055_0014__THE_R_0055_0015__TIME)
        & r_0055_0014__the_r_0055_0015__time(R_0055_0014__THE_R_0055_0015__TIME)
        & has_r_0055_0016__of(R_0055_0014__THE_R_0055_0015__TIME,R_0055_0017__DAY)
        & has_arg0(R_0055_0013__PASS,R_0055_0008__PRETEXT)
        & r_0055_0008__pretext(R_0055_0008__PRETEXT)
        & has_qual(R_0055_0008__PRETEXT,R_0055_0009__WHATSOEVER)
        & has_conj2(R_0055_0011__EXCEPT,R_0055_0002__WERE_R_0055_0003__VISITING)
        & r_0055_0002__were_r_0055_0003__visiting(R_0055_0002__WERE_R_0055_0003__VISITING)
        & has_r_0055_0006__on__nim(R_0055_0002__WERE_R_0055_0003__VISITING,R_0055_0008__PRETEXT)
        & has_arg1(R_0055_0002__WERE_R_0055_0003__VISITING,R_0055_0004__PEOPLE)
        & has_arg0(R_0055_0002__WERE_R_0055_0003__VISITING,R_0055_0001__POLICE) )
     => r_0055_0002__were_r_0055_0003__visiting(R_0055_0002__WERE_R_0055_0003__VISITING) ) ).