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.
( (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))
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,nim).
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,attrib).
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_0001__He,arg0).
arc(r_0030_0020__went,r_0030_0015__and,r_0030_0021__with__nim).
arc(z_0030_5001,r_0030_0004__no__quant,conj1).
arc(z_0030_5001,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_0001__HE,R_0030_0020__WENT,R_0030_0013__FOR_WHEN,Z_0030_5001] :
( r_0030_0001__He(R_0030_0001__HE)
& r_0030_0014__Blanche(R_0030_0014__BLANCHE)
& r_0030_0016__Jack(R_0030_0016__JACK)
& z_0030_5001(Z_0030_5001)
& has_conj2(Z_0030_5001,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_r_0030_0021__with__nim(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_arg0(R_0030_0020__WENT,R_0030_0001__HE)
& 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_attrib(R_0030_0007__ANY_R_0030_0009__CONVERSATION,R_0030_0008__PRIVATE) )
=> ? [R_0030_0003__HER,R_0030_0010__THAT_R_0030_0011__EVENING,R_0030_0002__GAVE] :
( 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_nim(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) ) ) ) ).