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.
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).
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) ) ).
( (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))