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,
? [R_0030_0014__BLANCHE,R_0030_0016__JACK,R_0030_0015__AND,R_0030_0017__LEFT,R_0030_0019__HE,R_0030_0020__WENT,R_0030_0013__FOR_WHEN,Z_000_30_A_LOB_N02_2] :
( r_0030_0014__Blanche(R_0030_0014__BLANCHE)
& r_0030_0016__Jack(R_0030_0016__JACK)
& r_0030_0019__he(R_0030_0019__HE)
& z_000_30_a_lob_n02_2(Z_000_30_A_LOB_N02_2)
& has_conj2(Z_000_30_A_LOB_N02_2,R_0030_0013__FOR_WHEN)
& r_0030_0013__for_when(R_0030_0013__FOR_WHEN)
& has_conj2(R_0030_0013__FOR_WHEN,R_0030_0020__WENT)
& r_0030_0020__went(R_0030_0020__WENT)
& has_arg0(R_0030_0020__WENT,R_0030_0019__HE)
& has_r_0030_0021__with_nim64(R_0030_0020__WENT,R_0030_0015__AND)
& r_0030_0015__and(R_0030_0015__AND)
& has_conj2(R_0030_0015__AND,R_0030_0016__JACK)
& has_conj1(R_0030_0015__AND,R_0030_0014__BLANCHE)
& has_conj1(R_0030_0013__FOR_WHEN,R_0030_0017__LEFT)
& r_0030_0017__left(R_0030_0017__LEFT)
& has_arg0(R_0030_0017__LEFT,R_0030_0015__AND)
& ! [R_0030_0005__CHANCE,R_0030_0008__PRIVATE,R_0030_0007__ANY_R_0030_0009__CONVERSATION] :
( ( r_0030_0008__private(R_0030_0008__PRIVATE)
& r_0030_0005__chance(R_0030_0005__CHANCE)
& has_r_0030_0006__of(R_0030_0005__CHANCE,R_0030_0007__ANY_R_0030_0009__CONVERSATION)
& r_0030_0007__any_r_0030_0009__conversation(R_0030_0007__ANY_R_0030_0009__CONVERSATION)
& has_attrib23(R_0030_0007__ANY_R_0030_0009__CONVERSATION,R_0030_0008__PRIVATE) )
=> ? [R_0030_0001__HE,R_0030_0003__HER,R_0030_0010__THAT_R_0030_0011__EVENING,R_0030_0002__GAVE] :
( r_0030_0001__He(R_0030_0001__HE)
& r_0030_0003__her(R_0030_0003__HER)
& r_0030_0010__that_r_0030_0011__evening(R_0030_0010__THAT_R_0030_0011__EVENING)
& r_0030_0002__gave(R_0030_0002__GAVE)
& has_nim28(R_0030_0002__GAVE,R_0030_0010__THAT_R_0030_0011__EVENING)
& has_arg1(R_0030_0002__GAVE,R_0030_0005__CHANCE)
& has_arg2(R_0030_0002__GAVE,R_0030_0003__HER)
& has_arg0(R_0030_0002__GAVE,R_0030_0001__HE) ) ) ) ).
( (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))