Context                Previous, Next                Top


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_0008__pretext pretext r_0055_0007__no_quant->r_0055_0008__pretext [restriction] r_0055_0003__visiting visiting r_0055_0007__no_quant->r_0055_0003__visiting [scope] r_0055_0009__whatsoever whatsoever r_0055_0008__pretext->r_0055_0009__whatsoever [qual] r_0055_0003__visiting->r_0055_0008__pretext on [nim] r_0055_0004__people people r_0055_0003__visiting->r_0055_0004__people [arg1] r_0055_0001__Police Police r_0055_0003__visiting->r_0055_0001__Police [arg0] 
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__1_1_1_1 Police n55_a_lob_a02__1_2_1 were n55_a_lob_a02__1_3_1_1 visiting n55_a_lob_a02__1_3_2_1_1 people n55_a_lob_a02__1_3_3_1 <lquo> n55_a_lob_a02__1_3_4_1_1 on n55_a_lob_a02__1_3_4_2_1_1 no n55_a_lob_a02__1_3_4_2_2_1 pretext n55_a_lob_a02__1_3_4_2_3_1_1 whatsoever n55_a_lob_a02__1_3_4_2_4_1 , n55_a_lob_a02__1_3_4_2_5_1_1 except n55_a_lob_a02__1_3_4_2_5_2_1_1 to n55_a_lob_a02__1_3_4_2_5_2_2_1 pass n55_a_lob_a02__1_3_4_2_5_2_3_1_1 the n55_a_lob_a02__1_3_4_2_5_2_3_2_1 time n55_a_lob_a02__1_3_4_2_5_2_3_3_1_1 of n55_a_lob_a02__1_3_4_2_5_2_3_3_2_1_1 day n55_a_lob_a02__1_3_5_1 <rquo> n55_a_lob_a02__1_4_1 ; n55_a_lob_a02__1 IP-MAT n55_a_lob_a02__1_1 NP-SBJ n55_a_lob_a02__1->n55_a_lob_a02__1_1 n55_a_lob_a02__1_2 BED;_cat_Vg_ n55_a_lob_a02__1->n55_a_lob_a02__1_2 n55_a_lob_a02__1_3 IP-PPL-CAT n55_a_lob_a02__1->n55_a_lob_a02__1_3 n55_a_lob_a02__1_4 PUNC n55_a_lob_a02__1->n55_a_lob_a02__1_4 n55_a_lob_a02__1_1_1 NS n55_a_lob_a02__1_1->n55_a_lob_a02__1_1_1 n55_a_lob_a02__1_1_1->n55_a_lob_a02__1_1_1_1 n55_a_lob_a02__1_2->n55_a_lob_a02__1_2_1 n55_a_lob_a02__1_3_1 VAG;_Tn_ n55_a_lob_a02__1_3->n55_a_lob_a02__1_3_1 n55_a_lob_a02__1_3_2 NP-OB1 n55_a_lob_a02__1_3->n55_a_lob_a02__1_3_2 n55_a_lob_a02__1_3_3 PULQ n55_a_lob_a02__1_3->n55_a_lob_a02__1_3_3 n55_a_lob_a02__1_3_4 PP-NIM n55_a_lob_a02__1_3->n55_a_lob_a02__1_3_4 n55_a_lob_a02__1_3_5 PURQ n55_a_lob_a02__1_3->n55_a_lob_a02__1_3_5 n55_a_lob_a02__1_3_1->n55_a_lob_a02__1_3_1_1 n55_a_lob_a02__1_3_2_1 NS n55_a_lob_a02__1_3_2->n55_a_lob_a02__1_3_2_1 n55_a_lob_a02__1_3_2_1->n55_a_lob_a02__1_3_2_1_1 n55_a_lob_a02__1_3_3->n55_a_lob_a02__1_3_3_1 n55_a_lob_a02__1_3_4_1 P-ROLE n55_a_lob_a02__1_3_4->n55_a_lob_a02__1_3_4_1 n55_a_lob_a02__1_3_4_2 NP n55_a_lob_a02__1_3_4->n55_a_lob_a02__1_3_4_2 n55_a_lob_a02__1_3_4_1->n55_a_lob_a02__1_3_4_1_1 n55_a_lob_a02__1_3_4_2_1 Q n55_a_lob_a02__1_3_4_2->n55_a_lob_a02__1_3_4_2_1 n55_a_lob_a02__1_3_4_2_2 N n55_a_lob_a02__1_3_4_2->n55_a_lob_a02__1_3_4_2_2 n55_a_lob_a02__1_3_4_2_3 ADVP n55_a_lob_a02__1_3_4_2->n55_a_lob_a02__1_3_4_2_3 n55_a_lob_a02__1_3_4_2_4 PUNC n55_a_lob_a02__1_3_4_2->n55_a_lob_a02__1_3_4_2_4 n55_a_lob_a02__1_3_4_2_5 PP-SCON n55_a_lob_a02__1_3_4_2->n55_a_lob_a02__1_3_4_2_5 n55_a_lob_a02__1_3_4_2_1->n55_a_lob_a02__1_3_4_2_1_1 n55_a_lob_a02__1_3_4_2_2->n55_a_lob_a02__1_3_4_2_2_1 n55_a_lob_a02__1_3_4_2_3_1 ADV n55_a_lob_a02__1_3_4_2_3->n55_a_lob_a02__1_3_4_2_3_1 n55_a_lob_a02__1_3_4_2_3_1->n55_a_lob_a02__1_3_4_2_3_1_1 n55_a_lob_a02__1_3_4_2_4->n55_a_lob_a02__1_3_4_2_4_1 n55_a_lob_a02__1_3_4_2_5_1 P-CONN n55_a_lob_a02__1_3_4_2_5->n55_a_lob_a02__1_3_4_2_5_1 n55_a_lob_a02__1_3_4_2_5_2 IP-INF n55_a_lob_a02__1_3_4_2_5->n55_a_lob_a02__1_3_4_2_5_2 n55_a_lob_a02__1_3_4_2_5_1->n55_a_lob_a02__1_3_4_2_5_1_1 n55_a_lob_a02__1_3_4_2_5_2_1 TO n55_a_lob_a02__1_3_4_2_5_2->n55_a_lob_a02__1_3_4_2_5_2_1 n55_a_lob_a02__1_3_4_2_5_2_2 VB;_Tn_ n55_a_lob_a02__1_3_4_2_5_2->n55_a_lob_a02__1_3_4_2_5_2_2 n55_a_lob_a02__1_3_4_2_5_2_3 NP-OB1 n55_a_lob_a02__1_3_4_2_5_2->n55_a_lob_a02__1_3_4_2_5_2_3 n55_a_lob_a02__1_3_4_2_5_2_1->n55_a_lob_a02__1_3_4_2_5_2_1_1 n55_a_lob_a02__1_3_4_2_5_2_2->n55_a_lob_a02__1_3_4_2_5_2_2_1 n55_a_lob_a02__1_3_4_2_5_2_3_1 D n55_a_lob_a02__1_3_4_2_5_2_3->n55_a_lob_a02__1_3_4_2_5_2_3_1 n55_a_lob_a02__1_3_4_2_5_2_3_2 N n55_a_lob_a02__1_3_4_2_5_2_3->n55_a_lob_a02__1_3_4_2_5_2_3_2 n55_a_lob_a02__1_3_4_2_5_2_3_3 PP n55_a_lob_a02__1_3_4_2_5_2_3->n55_a_lob_a02__1_3_4_2_5_2_3_3 n55_a_lob_a02__1_3_4_2_5_2_3_1->n55_a_lob_a02__1_3_4_2_5_2_3_1_1 n55_a_lob_a02__1_3_4_2_5_2_3_2->n55_a_lob_a02__1_3_4_2_5_2_3_2_1 n55_a_lob_a02__1_3_4_2_5_2_3_3_1 P-ROLE n55_a_lob_a02__1_3_4_2_5_2_3_3->n55_a_lob_a02__1_3_4_2_5_2_3_3_1 n55_a_lob_a02__1_3_4_2_5_2_3_3_2 NP n55_a_lob_a02__1_3_4_2_5_2_3_3->n55_a_lob_a02__1_3_4_2_5_2_3_3_2 n55_a_lob_a02__1_3_4_2_5_2_3_3_1->n55_a_lob_a02__1_3_4_2_5_2_3_3_1_1 n55_a_lob_a02__1_3_4_2_5_2_3_3_2_1 N n55_a_lob_a02__1_3_4_2_5_2_3_3_2->n55_a_lob_a02__1_3_4_2_5_2_3_3_2_1 n55_a_lob_a02__1_3_4_2_5_2_3_3_2_1->n55_a_lob_a02__1_3_4_2_5_2_3_3_2_1_1 n55_a_lob_a02__1_3_5->n55_a_lob_a02__1_3_5_1 n55_a_lob_a02__1_4->n55_a_lob_a02__1_4_1 
( (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))