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

%3 r_0055_0002__were were r_0055_0007__no_quant no [quant] r_0055_0002__were->r_0055_0007__no_quant [scope] r_0055_0003__visiting visiting r_0055_0007__no_quant->r_0055_0003__visiting [scope] r_0055_0008__pretext pretext r_0055_0007__no_quant->r_0055_0008__pretext [restriction] r_0055_0001__Police Police r_0055_0003__visiting->r_0055_0001__Police [arg0] r_0055_0004__people people r_0055_0003__visiting->r_0055_0004__people [arg1] r_0055_0003__visiting->r_0055_0008__pretext on [nim] r_0055_0009__whatsoever whatsoever r_0055_0008__pretext->r_0055_0009__whatsoever [qual]
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).



%3 r_0055_0002__were were r_0055_0007__no_quant no [quant] r_0055_0002__were->r_0055_0007__no_quant [keep_scope] r_0055_0003__visiting visiting r_0055_0007__no_quant->r_0055_0003__visiting [scope] r_0055_0008__pretext pretext r_0055_0007__no_quant->r_0055_0008__pretext [restriction] r_0055_0001__Police Police r_0055_0003__visiting->r_0055_0001__Police [arg0] r_0055_0004__people people r_0055_0003__visiting->r_0055_0004__people [arg1] r_0055_0003__visiting->r_0055_0008__pretext on [nim] r_0055_0009__whatsoever whatsoever r_0055_0008__pretext->r_0055_0009__whatsoever [qual]
fof(formula,axiom,
    ~ ! [R_55_8_PRETEXT,R_55_9_WHATSOEVER] :
        ( ( whatsoever(R_55_9_WHATSOEVER)
          & pretext(R_55_8_PRETEXT)
          & qual23(R_55_8_PRETEXT,R_55_9_WHATSOEVER) )
       => ? [R_55_3_VISITING,R_55_1_POLICE,R_55_4_PEOPLE] :
            ( police(R_55_1_POLICE)
            & people(R_55_4_PEOPLE)
            & visiting(R_55_3_VISITING,R_55_1_POLICE,R_55_4_PEOPLE)
            & on_nim18(R_55_3_VISITING,R_55_8_PRETEXT) ) ) ).



n55_a_lob_a02 n55_a_lob_a02_4 Police n55_a_lob_a02_6 were n55_a_lob_a02_9 visiting n55_a_lob_a02_12 people n55_a_lob_a02_14 <lquo> n55_a_lob_a02_17 on n55_a_lob_a02_20 no n55_a_lob_a02_22 pretext n55_a_lob_a02_25 whatsoever n55_a_lob_a02_27 , n55_a_lob_a02_30 except n55_a_lob_a02_33 to n55_a_lob_a02_35 pass n55_a_lob_a02_38 the n55_a_lob_a02_40 time n55_a_lob_a02_43 of n55_a_lob_a02_46 day n55_a_lob_a02_48 <rquo> n55_a_lob_a02_50 ; n55_a_lob_a02_1 IP-MAT n55_a_lob_a02_2 NP-SBJ n55_a_lob_a02_1->n55_a_lob_a02_2 n55_a_lob_a02_5 BED;_cat_Vg_ n55_a_lob_a02_1->n55_a_lob_a02_5 n55_a_lob_a02_7 IP-PPL-CAT n55_a_lob_a02_1->n55_a_lob_a02_7 n55_a_lob_a02_49 PUNC n55_a_lob_a02_1->n55_a_lob_a02_49 n55_a_lob_a02_3 NS n55_a_lob_a02_2->n55_a_lob_a02_3 n55_a_lob_a02_3->n55_a_lob_a02_4 n55_a_lob_a02_5->n55_a_lob_a02_6 n55_a_lob_a02_8 VAG;_Tn_ n55_a_lob_a02_7->n55_a_lob_a02_8 n55_a_lob_a02_10 NP-OB1 n55_a_lob_a02_7->n55_a_lob_a02_10 n55_a_lob_a02_13 PULQ n55_a_lob_a02_7->n55_a_lob_a02_13 n55_a_lob_a02_15 PP-NIM n55_a_lob_a02_7->n55_a_lob_a02_15 n55_a_lob_a02_47 PURQ n55_a_lob_a02_7->n55_a_lob_a02_47 n55_a_lob_a02_8->n55_a_lob_a02_9 n55_a_lob_a02_11 NS n55_a_lob_a02_10->n55_a_lob_a02_11 n55_a_lob_a02_11->n55_a_lob_a02_12 n55_a_lob_a02_13->n55_a_lob_a02_14 n55_a_lob_a02_16 P-ROLE n55_a_lob_a02_15->n55_a_lob_a02_16 n55_a_lob_a02_18 NP n55_a_lob_a02_15->n55_a_lob_a02_18 n55_a_lob_a02_16->n55_a_lob_a02_17 n55_a_lob_a02_19 Q n55_a_lob_a02_18->n55_a_lob_a02_19 n55_a_lob_a02_21 N n55_a_lob_a02_18->n55_a_lob_a02_21 n55_a_lob_a02_23 ADVP n55_a_lob_a02_18->n55_a_lob_a02_23 n55_a_lob_a02_26 PUNC n55_a_lob_a02_18->n55_a_lob_a02_26 n55_a_lob_a02_28 PP-SCON n55_a_lob_a02_18->n55_a_lob_a02_28 n55_a_lob_a02_19->n55_a_lob_a02_20 n55_a_lob_a02_21->n55_a_lob_a02_22 n55_a_lob_a02_24 ADV n55_a_lob_a02_23->n55_a_lob_a02_24 n55_a_lob_a02_24->n55_a_lob_a02_25 n55_a_lob_a02_26->n55_a_lob_a02_27 n55_a_lob_a02_29 P-CONN n55_a_lob_a02_28->n55_a_lob_a02_29 n55_a_lob_a02_31 IP-INF n55_a_lob_a02_28->n55_a_lob_a02_31 n55_a_lob_a02_29->n55_a_lob_a02_30 n55_a_lob_a02_32 TO n55_a_lob_a02_31->n55_a_lob_a02_32 n55_a_lob_a02_34 VB;_Tn_ n55_a_lob_a02_31->n55_a_lob_a02_34 n55_a_lob_a02_36 NP-OB1 n55_a_lob_a02_31->n55_a_lob_a02_36 n55_a_lob_a02_32->n55_a_lob_a02_33 n55_a_lob_a02_34->n55_a_lob_a02_35 n55_a_lob_a02_37 D n55_a_lob_a02_36->n55_a_lob_a02_37 n55_a_lob_a02_39 N n55_a_lob_a02_36->n55_a_lob_a02_39 n55_a_lob_a02_41 PP n55_a_lob_a02_36->n55_a_lob_a02_41 n55_a_lob_a02_37->n55_a_lob_a02_38 n55_a_lob_a02_39->n55_a_lob_a02_40 n55_a_lob_a02_42 P-ROLE n55_a_lob_a02_41->n55_a_lob_a02_42 n55_a_lob_a02_44 NP n55_a_lob_a02_41->n55_a_lob_a02_44 n55_a_lob_a02_42->n55_a_lob_a02_43 n55_a_lob_a02_45 N n55_a_lob_a02_44->n55_a_lob_a02_45 n55_a_lob_a02_45->n55_a_lob_a02_46 n55_a_lob_a02_47->n55_a_lob_a02_48 n55_a_lob_a02_49->n55_a_lob_a02_50
( (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))