Context                Previous, Next                Top


30_a_lob_n02
He gave her no chance of any private conversation that evening, for when Blanche and Jack left, he went with them.

%3 r_0030_0002__gave gave r_0030_0001__He He r_0030_0002__gave->r_0030_0001__He [arg0] r_0030_0003__her her r_0030_0002__gave->r_0030_0003__her [arg2] r_0030_0005__chance chance r_0030_0002__gave->r_0030_0005__chance [arg1] r_0030_0010__that_r_0030_0011__evening that evening r_0030_0002__gave->r_0030_0010__that_r_0030_0011__evening [nim] r_0030_0007__any_r_0030_0009__conversation any conversation r_0030_0005__chance->r_0030_0007__any_r_0030_0009__conversation of r_0030_0004__no_quant no [quant] r_0030_0004__no_quant->r_0030_0002__gave [scope] r_0030_0004__no_quant->r_0030_0005__chance [restriction] r_0030_0008__private private r_0030_0007__any_r_0030_0009__conversation->r_0030_0008__private [attrib] r_0030_0013__for_when for when r_0030_0017__left left r_0030_0013__for_when->r_0030_0017__left [restriction] r_0030_0020__went went r_0030_0013__for_when->r_0030_0020__went [scope] r_0030_0015__and and r_0030_0017__left->r_0030_0015__and [arg0] r_0030_0020__went->r_0030_0015__and with [nim] r_0030_0019__he he r_0030_0020__went->r_0030_0019__he [arg0] r_0030_0014__Blanche Blanche r_0030_0015__and->r_0030_0014__Blanche [conj1] r_0030_0016__Jack Jack r_0030_0015__and->r_0030_0016__Jack [conj2] z_000_30_a_lob_n02_2 z_000_30_a_lob_n02_2->r_0030_0004__no_quant [conj1] z_000_30_a_lob_n02_2->r_0030_0013__for_when [conj2] 
arc(r_0030_0002__gave, r_0030_0001__He, arg0).
arc(r_0030_0002__gave, r_0030_0003__her, arg2).
arc(r_0030_0002__gave, r_0030_0005__chance, arg1).
arc(r_0030_0002__gave, r_0030_0010__that_r_0030_0011__evening, nim28).
arc(r_0030_0004__no_quant, r_0030_0002__gave, scope).
arc(r_0030_0004__no_quant, r_0030_0005__chance, restriction).
arc(r_0030_0005__chance, r_0030_0007__any_r_0030_0009__conversation, r_0030_0006__of).
arc(r_0030_0007__any_r_0030_0009__conversation, r_0030_0008__private, attrib23).
arc(r_0030_0013__for_when, r_0030_0017__left, restriction).
arc(r_0030_0013__for_when, r_0030_0020__went, scope).
arc(r_0030_0015__and, r_0030_0014__Blanche, conj1).
arc(r_0030_0015__and, r_0030_0016__Jack, conj2).
arc(r_0030_0017__left, r_0030_0015__and, arg0).
arc(r_0030_0020__went, r_0030_0015__and, r_0030_0021__with_nim64).
arc(r_0030_0020__went, r_0030_0019__he, arg0).
arc(z_000_30_a_lob_n02_2, r_0030_0004__no_quant, conj1).
arc(z_000_30_a_lob_n02_2, r_0030_0013__for_when, conj2).


%3 r_0030_0002__gave gave r_0030_0001__He He r_0030_0002__gave->r_0030_0001__He [arg0] r_0030_0003__her her r_0030_0002__gave->r_0030_0003__her [arg2] r_0030_0005__chance chance r_0030_0002__gave->r_0030_0005__chance [arg1] r_0030_0010__that_r_0030_0011__evening that evening r_0030_0002__gave->r_0030_0010__that_r_0030_0011__evening [nim] r_0030_0007__any_r_0030_0009__conversation any conversation r_0030_0005__chance->r_0030_0007__any_r_0030_0009__conversation of r_0030_0004__no_quant no [quant] r_0030_0004__no_quant->r_0030_0002__gave [scope] r_0030_0004__no_quant->r_0030_0005__chance [restriction] r_0030_0008__private private r_0030_0007__any_r_0030_0009__conversation->r_0030_0008__private [attrib] r_0030_0013__for_when for when r_0030_0017__left left r_0030_0013__for_when->r_0030_0017__left [conj1] r_0030_0020__went went r_0030_0013__for_when->r_0030_0020__went [conj2] r_0030_0015__and and r_0030_0017__left->r_0030_0015__and [arg0] r_0030_0020__went->r_0030_0015__and with [nim] r_0030_0019__he he r_0030_0020__went->r_0030_0019__he [arg0] r_0030_0014__Blanche Blanche r_0030_0015__and->r_0030_0014__Blanche [conj1] r_0030_0016__Jack Jack r_0030_0015__and->r_0030_0016__Jack [conj2] z_000_30_a_lob_n02_2 z_000_30_a_lob_n02_2->r_0030_0004__no_quant [conj1] z_000_30_a_lob_n02_2->r_0030_0013__for_when [conj2] 
fof(formula,axiom,
    ? [Z_30_A_LOB_N02_2,R_30_13_FOR_WHEN,R_30_17_LEFT,R_30_20_WENT,R_30_19_HE,R_30_15_AND,R_30_14_BLANCHE,R_30_16_JACK] :
      ( he(R_30_19_HE)
      & blanche(R_30_14_BLANCHE)
      & jack(R_30_16_JACK)
      & ! [R_30_5_CHANCE,R_30_7_ANY_CONVERSATION,R_30_8_PRIVATE] :
          ( ( private(R_30_8_PRIVATE)
            & chance(R_30_5_CHANCE)
            & of(R_30_5_CHANCE,R_30_7_ANY_CONVERSATION)
            & any_conversation(R_30_7_ANY_CONVERSATION)
            & attrib23(R_30_7_ANY_CONVERSATION,R_30_8_PRIVATE) )
         => ? [R_30_2_GAVE,R_30_1_HE,R_30_3_HER,R_30_10_THAT_EVENING] :
              ( he(R_30_1_HE)
              & her(R_30_3_HER)
              & that_evening(R_30_10_THAT_EVENING)
              & gave(R_30_2_GAVE,R_30_1_HE,R_30_5_CHANCE,R_30_3_HER)
              & nim28(R_30_2_GAVE,R_30_10_THAT_EVENING) ) )
      & conj1(CONJ1)
      & z_30_a_lob_n02_2(Z_30_A_LOB_N02_2)
      & conj2(Z_30_A_LOB_N02_2,R_30_13_FOR_WHEN)
      & for_when(R_30_13_FOR_WHEN)
      & conj1(R_30_13_FOR_WHEN,R_30_17_LEFT)
      & left(R_30_17_LEFT,R_30_15_AND)
      & and(R_30_15_AND)
      & conj1(R_30_15_AND,R_30_14_BLANCHE)
      & conj2(R_30_15_AND,R_30_16_JACK)
      & conj2(R_30_13_FOR_WHEN,R_30_20_WENT)
      & went(R_30_20_WENT,R_30_19_HE)
      & with_nim64(R_30_20_WENT,R_30_15_AND) ) ).


n30_a_lob_n02 n30_a_lob_n02_6 He n30_a_lob_n02_8 gave n30_a_lob_n02_11 her n30_a_lob_n02_14 no n30_a_lob_n02_16 chance n30_a_lob_n02_19 of n30_a_lob_n02_22 any n30_a_lob_n02_25 private n30_a_lob_n02_27 conversation n30_a_lob_n02_30 that n30_a_lob_n02_32 evening n30_a_lob_n02_34 , n30_a_lob_n02_39 for_when n30_a_lob_n02_45 Blanche n30_a_lob_n02_48 and n30_a_lob_n02_51 Jack n30_a_lob_n02_53 left n30_a_lob_n02_55 , n30_a_lob_n02_58 he n30_a_lob_n02_60 went n30_a_lob_n02_63 with n30_a_lob_n02_66 them n30_a_lob_n02_68 . n30_a_lob_n02_1 IP-MAT n30_a_lob_n02_2 ILYR n30_a_lob_n02_1->n30_a_lob_n02_2 n30_a_lob_n02_67 PUNC n30_a_lob_n02_1->n30_a_lob_n02_67 n30_a_lob_n02_3 ILYR n30_a_lob_n02_2->n30_a_lob_n02_3 n30_a_lob_n02_33 PUNC n30_a_lob_n02_2->n30_a_lob_n02_33 n30_a_lob_n02_35 CONJP n30_a_lob_n02_2->n30_a_lob_n02_35 n30_a_lob_n02_4 NP-SBJ n30_a_lob_n02_3->n30_a_lob_n02_4 n30_a_lob_n02_7 VBD;_Dn.n_ n30_a_lob_n02_3->n30_a_lob_n02_7 n30_a_lob_n02_9 NP-OB2 n30_a_lob_n02_3->n30_a_lob_n02_9 n30_a_lob_n02_12 NP-OB1 n30_a_lob_n02_3->n30_a_lob_n02_12 n30_a_lob_n02_28 NP-NIM n30_a_lob_n02_3->n30_a_lob_n02_28 n30_a_lob_n02_5 PRO n30_a_lob_n02_4->n30_a_lob_n02_5 n30_a_lob_n02_5->n30_a_lob_n02_6 n30_a_lob_n02_7->n30_a_lob_n02_8 n30_a_lob_n02_10 PRO n30_a_lob_n02_9->n30_a_lob_n02_10 n30_a_lob_n02_10->n30_a_lob_n02_11 n30_a_lob_n02_13 Q n30_a_lob_n02_12->n30_a_lob_n02_13 n30_a_lob_n02_15 N n30_a_lob_n02_12->n30_a_lob_n02_15 n30_a_lob_n02_17 PP n30_a_lob_n02_12->n30_a_lob_n02_17 n30_a_lob_n02_13->n30_a_lob_n02_14 n30_a_lob_n02_15->n30_a_lob_n02_16 n30_a_lob_n02_18 P-ROLE n30_a_lob_n02_17->n30_a_lob_n02_18 n30_a_lob_n02_20 NP n30_a_lob_n02_17->n30_a_lob_n02_20 n30_a_lob_n02_18->n30_a_lob_n02_19 n30_a_lob_n02_21 D n30_a_lob_n02_20->n30_a_lob_n02_21 n30_a_lob_n02_23 ADJP n30_a_lob_n02_20->n30_a_lob_n02_23 n30_a_lob_n02_26 N n30_a_lob_n02_20->n30_a_lob_n02_26 n30_a_lob_n02_21->n30_a_lob_n02_22 n30_a_lob_n02_24 ADJ n30_a_lob_n02_23->n30_a_lob_n02_24 n30_a_lob_n02_24->n30_a_lob_n02_25 n30_a_lob_n02_26->n30_a_lob_n02_27 n30_a_lob_n02_29 D n30_a_lob_n02_28->n30_a_lob_n02_29 n30_a_lob_n02_31 N n30_a_lob_n02_28->n30_a_lob_n02_31 n30_a_lob_n02_29->n30_a_lob_n02_30 n30_a_lob_n02_31->n30_a_lob_n02_32 n30_a_lob_n02_33->n30_a_lob_n02_34 n30_a_lob_n02_36 ILYR n30_a_lob_n02_35->n30_a_lob_n02_36 n30_a_lob_n02_37 PP-SCON n30_a_lob_n02_36->n30_a_lob_n02_37 n30_a_lob_n02_54 PUNC n30_a_lob_n02_36->n30_a_lob_n02_54 n30_a_lob_n02_56 NP-SBJ n30_a_lob_n02_36->n30_a_lob_n02_56 n30_a_lob_n02_59 VBD;_I_ n30_a_lob_n02_36->n30_a_lob_n02_59 n30_a_lob_n02_61 PP-NIM n30_a_lob_n02_36->n30_a_lob_n02_61 n30_a_lob_n02_38 P-CONN n30_a_lob_n02_37->n30_a_lob_n02_38 n30_a_lob_n02_40 IP-ADV n30_a_lob_n02_37->n30_a_lob_n02_40 n30_a_lob_n02_38->n30_a_lob_n02_39 n30_a_lob_n02_41 NP-SBJ n30_a_lob_n02_40->n30_a_lob_n02_41 n30_a_lob_n02_52 VBD;_I_ n30_a_lob_n02_40->n30_a_lob_n02_52 n30_a_lob_n02_42 NLYR n30_a_lob_n02_41->n30_a_lob_n02_42 n30_a_lob_n02_43 NLYR n30_a_lob_n02_42->n30_a_lob_n02_43 n30_a_lob_n02_46 CONJP n30_a_lob_n02_42->n30_a_lob_n02_46 n30_a_lob_n02_44 NPR n30_a_lob_n02_43->n30_a_lob_n02_44 n30_a_lob_n02_44->n30_a_lob_n02_45 n30_a_lob_n02_47 CONJ n30_a_lob_n02_46->n30_a_lob_n02_47 n30_a_lob_n02_49 NLYR n30_a_lob_n02_46->n30_a_lob_n02_49 n30_a_lob_n02_47->n30_a_lob_n02_48 n30_a_lob_n02_50 NPR n30_a_lob_n02_49->n30_a_lob_n02_50 n30_a_lob_n02_50->n30_a_lob_n02_51 n30_a_lob_n02_52->n30_a_lob_n02_53 n30_a_lob_n02_54->n30_a_lob_n02_55 n30_a_lob_n02_57 PRO n30_a_lob_n02_56->n30_a_lob_n02_57 n30_a_lob_n02_57->n30_a_lob_n02_58 n30_a_lob_n02_59->n30_a_lob_n02_60 n30_a_lob_n02_62 P-ROLE n30_a_lob_n02_61->n30_a_lob_n02_62 n30_a_lob_n02_64 NP n30_a_lob_n02_61->n30_a_lob_n02_64 n30_a_lob_n02_62->n30_a_lob_n02_63 n30_a_lob_n02_65 PRO n30_a_lob_n02_64->n30_a_lob_n02_65 n30_a_lob_n02_65->n30_a_lob_n02_66 n30_a_lob_n02_67->n30_a_lob_n02_68 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{PIERS} (PRO He;{he}))
                      (VBD;_Dn.n_ gave;{give})
                      (NP-OB2;{BERYL} (PRO her;{her}))
                      (NP-OB1 (Q no;{no})
                              (N chance;{chance})
                              (PP (P-ROLE of;{of})
                                  (NP (D any;{any})
                                      (ADJP (ADJ private;{private}))
                                      (N conversation;{conversation}))))
                      (NP-NIM (D that;{that})
                              (N evening;{evening})))
                (PUNC ,)
                (CONJP (ILYR (PP-SCON (P-CONN for_when;{for_when})
                                      (IP-ADV (NP-SBJ;{JACK_BLANCHE} (NLYR (NLYR;{BLANCHE} (NPR Blanche;{Blanche}))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (NLYR;{JACK} (NPR Jack;{Jack})))))
                                              (VBD;_I_ left;{leave})))
                             (PUNC ,)
                             (NP-SBJ;{PIERS} (PRO he;{he}))
                             (VBD;_I_ went;{go})
                             (PP-NIM (P-ROLE with;{with})
                                     (NP;{JACK_BLANCHE} (PRO them;{they}))))))
          (PUNC .))
  (ID 30_a_lob_n02))