69_a_lob_n01
All the deductions on which he was planning might be false.
( (IP-MAT (NP-SBJ (Q;_nphd_ All;{all})
(NLYR (D the;{the})
(NS deductions;{deduction})
(IP-REL (PP-126 (P-ROLE on;{on})
(NP (RPRO which;{which})))
(NP-SBJ;{GEOFFREY} (PRO he;{he}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (PP-CLR *ICH*-126)
(VAG;__ planning;{plan})))))
(MD;_cat_Vi_ might;{may})
(IP-INF-CAT (BE;_La_ be;{be})
(ADJP-PRD (ADJ false;{false})))
(PUNC .))
(ID 69_a_lob_n01))
arc(r_0069_0001__All__quant,r_0069_0009__might,scope).
arc(r_0069_0001__All__quant,z_0069_5007,restriction).
arc(r_0069_0007__was,r_0069_0008__planning,scope).
arc(r_0069_0008__planning,r_0069_0002__the_r_0069_0003__deductions,r_0069_0004__on__clr).
arc(r_0069_0008__planning,r_0069_0006__he,arg0).
arc(r_0069_0009__might,r_0069_0010__be,scope).
arc(r_0069_0010__be,r_0069_0011__false,prd).
arc(r_0069_0010__be,z_0069_5007,arg0).
arc(z_0069_5007,r_0069_0002__the_r_0069_0003__deductions,nim).
fof(formula,axiom,
? [R_0069_0002__THE_R_0069_0003__DEDUCTIONS,R_0069_0006__HE,R_0069_0007__WAS_R_0069_0008__PLANNING] :
( r_0069_0002__the_r_0069_0003__deductions(R_0069_0002__THE_R_0069_0003__DEDUCTIONS)
& r_0069_0006__he(R_0069_0006__HE)
& r_0069_0007__was_r_0069_0008__planning(R_0069_0007__WAS_R_0069_0008__PLANNING)
& has_arg0(R_0069_0007__WAS_R_0069_0008__PLANNING,R_0069_0006__HE)
& has_r_0069_0004__on__clr(R_0069_0007__WAS_R_0069_0008__PLANNING,R_0069_0002__THE_R_0069_0003__DEDUCTIONS)
& ! [Z_0069_5007] :
( ( z_0069_5007(Z_0069_5007)
& has_nim(Z_0069_5007,R_0069_0002__THE_R_0069_0003__DEDUCTIONS) )
=> ? [R_0069_0011__FALSE,R_0069_0009__MIGHT_R_0069_0010__BE] :
( r_0069_0011__false(R_0069_0011__FALSE)
& r_0069_0009__might_r_0069_0010__be(R_0069_0009__MIGHT_R_0069_0010__BE)
& has_arg0(R_0069_0009__MIGHT_R_0069_0010__BE,Z_0069_5007)
& has_prd(R_0069_0009__MIGHT_R_0069_0010__BE,R_0069_0011__FALSE) ) ) ) ).