55_a_lob_a02
Police were visiting people ‘on no pretext whatsoever, except to pass the time of day’;
arc(r_0055_0002__were, r_0055_0007__no_quant, 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_nim18).
arc(r_0055_0007__no_quant, r_0055_0003__visiting, scope).
arc(r_0055_0007__no_quant, r_0055_0008__pretext, restriction).
arc(r_0055_0008__pretext, r_0055_0009__whatsoever, qual23).
fof(formula,axiom,
? [R_0055_0002__WERE] :
( r_0055_0002__were(R_0055_0002__WERE)
& ! [R_0055_0008__PRETEXT,R_0055_0009__WHATSOEVER] :
( ( r_0055_0009__whatsoever(R_0055_0009__WHATSOEVER)
& r_0055_0008__pretext(R_0055_0008__PRETEXT)
& has_qual23(R_0055_0008__PRETEXT,R_0055_0009__WHATSOEVER) )
=> ? [R_0055_0001__POLICE,R_0055_0004__PEOPLE,R_0055_0003__VISITING] :
( r_0055_0001__Police(R_0055_0001__POLICE)
& r_0055_0004__people(R_0055_0004__PEOPLE)
& r_0055_0003__visiting(R_0055_0003__VISITING)
& has_r_0055_0006__on_nim18(R_0055_0003__VISITING,R_0055_0008__PRETEXT)
& has_arg1(R_0055_0003__VISITING,R_0055_0004__PEOPLE)
& has_arg0(R_0055_0003__VISITING,R_0055_0001__POLICE) ) ) ) ).
( (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))