Context                Previous, Next                Top


69_a_lob_n01
All the deductions on which he was planning might be false.

%3 r_0069_0001__All_quant All [quant] r_0069_0002__the_r_0069_0003__deductions the deductions r_0069_0001__All_quant->r_0069_0002__the_r_0069_0003__deductions [restriction] r_0069_0009__might might r_0069_0001__All_quant->r_0069_0009__might [scope] r_0069_0010__be be r_0069_0009__might->r_0069_0010__be [scope] r_0069_0007__was was r_0069_0008__planning planning r_0069_0007__was->r_0069_0008__planning [scope] r_0069_0008__planning->r_0069_0002__the_r_0069_0003__deductions on [clr] r_0069_0006__he he r_0069_0008__planning->r_0069_0006__he [arg0] r_0069_0010__be->r_0069_0002__the_r_0069_0003__deductions [arg0] r_0069_0011__false false r_0069_0010__be->r_0069_0011__false [prd] 
arc(r_0069_0001__All_quant, r_0069_0002__the_r_0069_0003__deductions, restriction).
arc(r_0069_0001__All_quant, r_0069_0009__might, scope).
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_clr13).
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_0002__the_r_0069_0003__deductions, arg0).
arc(r_0069_0010__be, r_0069_0011__false, prd).


%3 r_0069_0001__All_quant All [quant] r_0069_0007__was_r_0069_0008__planning was planning r_0069_0001__All_quant->r_0069_0007__was_r_0069_0008__planning [restriction] r_0069_0009__might_r_0069_0010__be might be r_0069_0001__All_quant->r_0069_0009__might_r_0069_0010__be [scope] r_0069_0002__the_r_0069_0003__deductions the deductions r_0069_0007__was_r_0069_0008__planning->r_0069_0002__the_r_0069_0003__deductions on [clr] r_0069_0006__he he r_0069_0007__was_r_0069_0008__planning->r_0069_0006__he [arg0] r_0069_0009__might_r_0069_0010__be->r_0069_0002__the_r_0069_0003__deductions [arg0] r_0069_0011__false false r_0069_0009__might_r_0069_0010__be->r_0069_0011__false [prd] 
fof(formula,axiom,
    ! [R_69_7_WAS_PLANNING,R_69_6_HE,R_69_2_THE_DEDUCTIONS] :
      ( ( he(R_69_6_HE)
        & the_deductions(R_69_2_THE_DEDUCTIONS)
        & was_planning(R_69_7_WAS_PLANNING,R_69_6_HE)
        & on_clr13(R_69_7_WAS_PLANNING,R_69_2_THE_DEDUCTIONS) )
     => ? [R_69_9_MIGHT_BE,R_69_11_FALSE] :
          ( false(R_69_11_FALSE)
          & might_be(R_69_9_MIGHT_BE,R_69_2_THE_DEDUCTIONS,R_69_11_FALSE) ) ) ).


n69_a_lob_n01 n69_a_lob_n01_4 All n69_a_lob_n01_6 the n69_a_lob_n01_8 deductions n69_a_lob_n01_12 on n69_a_lob_n01_15 which n69_a_lob_n01_18 he n69_a_lob_n01_20 was n69_a_lob_n01_23 *ICH*-126 n69_a_lob_n01_25 planning n69_a_lob_n01_27 might n69_a_lob_n01_30 be n69_a_lob_n01_33 false n69_a_lob_n01_35 . n69_a_lob_n01_1 IP-MAT n69_a_lob_n01_2 NP-SBJ n69_a_lob_n01_1->n69_a_lob_n01_2 n69_a_lob_n01_26 MD;_cat_Vi_ n69_a_lob_n01_1->n69_a_lob_n01_26 n69_a_lob_n01_28 IP-INF-CAT n69_a_lob_n01_1->n69_a_lob_n01_28 n69_a_lob_n01_34 PUNC n69_a_lob_n01_1->n69_a_lob_n01_34 n69_a_lob_n01_3 Q;_nphd_ n69_a_lob_n01_2->n69_a_lob_n01_3 n69_a_lob_n01_5 D n69_a_lob_n01_2->n69_a_lob_n01_5 n69_a_lob_n01_7 NS n69_a_lob_n01_2->n69_a_lob_n01_7 n69_a_lob_n01_9 IP-REL n69_a_lob_n01_2->n69_a_lob_n01_9 n69_a_lob_n01_3->n69_a_lob_n01_4 n69_a_lob_n01_5->n69_a_lob_n01_6 n69_a_lob_n01_7->n69_a_lob_n01_8 n69_a_lob_n01_10 PP-126 n69_a_lob_n01_9->n69_a_lob_n01_10 n69_a_lob_n01_16 NP-SBJ n69_a_lob_n01_9->n69_a_lob_n01_16 n69_a_lob_n01_19 BED;_cat_Vg_ n69_a_lob_n01_9->n69_a_lob_n01_19 n69_a_lob_n01_21 IP-PPL-CAT n69_a_lob_n01_9->n69_a_lob_n01_21 n69_a_lob_n01_11 P-ROLE n69_a_lob_n01_10->n69_a_lob_n01_11 n69_a_lob_n01_13 NP n69_a_lob_n01_10->n69_a_lob_n01_13 n69_a_lob_n01_11->n69_a_lob_n01_12 n69_a_lob_n01_14 RPRO n69_a_lob_n01_13->n69_a_lob_n01_14 n69_a_lob_n01_14->n69_a_lob_n01_15 n69_a_lob_n01_17 PRO n69_a_lob_n01_16->n69_a_lob_n01_17 n69_a_lob_n01_17->n69_a_lob_n01_18 n69_a_lob_n01_19->n69_a_lob_n01_20 n69_a_lob_n01_22 PP-CLR n69_a_lob_n01_21->n69_a_lob_n01_22 n69_a_lob_n01_24 VAG;__ n69_a_lob_n01_21->n69_a_lob_n01_24 n69_a_lob_n01_22->n69_a_lob_n01_23 n69_a_lob_n01_24->n69_a_lob_n01_25 n69_a_lob_n01_26->n69_a_lob_n01_27 n69_a_lob_n01_29 BE;_La_ n69_a_lob_n01_28->n69_a_lob_n01_29 n69_a_lob_n01_31 ADJP-PRD n69_a_lob_n01_28->n69_a_lob_n01_31 n69_a_lob_n01_29->n69_a_lob_n01_30 n69_a_lob_n01_32 ADJ n69_a_lob_n01_31->n69_a_lob_n01_32 n69_a_lob_n01_32->n69_a_lob_n01_33 n69_a_lob_n01_34->n69_a_lob_n01_35 
( (IP-MAT (NP-SBJ (Q;_nphd_ All;{all})
                  (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))