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_0009__might_r_0069_0010__be might be r_0069_0011__false false r_0069_0009__might_r_0069_0010__be->r_0069_0011__false [prd] r_0069_0002__the_r_0069_0003__deductions the deductions r_0069_0009__might_r_0069_0010__be->r_0069_0002__the_r_0069_0003__deductions [arg0] r_0069_0007__was_r_0069_0008__planning was planning 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_0001__All_quant All [quant] r_0069_0001__All_quant->r_0069_0009__might_r_0069_0010__be [scope] r_0069_0001__All_quant->r_0069_0007__was_r_0069_0008__planning [restriction] 
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__1_1_1_1 All n69_a_lob_n01__1_1_2_1 the n69_a_lob_n01__1_1_3_1 deductions n69_a_lob_n01__1_1_4_1_1_1 on n69_a_lob_n01__1_1_4_1_2_1_1 which n69_a_lob_n01__1_1_4_2_1_1 he n69_a_lob_n01__1_1_4_3_1 was n69_a_lob_n01__1_1_4_4_1_1 *ICH*-126 n69_a_lob_n01__1_1_4_4_2_1 planning n69_a_lob_n01__1_2_1 might n69_a_lob_n01__1_3_1_1 be n69_a_lob_n01__1_3_2_1_1 false n69_a_lob_n01__1_4_1 . n69_a_lob_n01__1 IP-MAT n69_a_lob_n01__1_1 NP-SBJ n69_a_lob_n01__1->n69_a_lob_n01__1_1 n69_a_lob_n01__1_2 MD;_cat_Vi_ n69_a_lob_n01__1->n69_a_lob_n01__1_2 n69_a_lob_n01__1_3 IP-INF-CAT n69_a_lob_n01__1->n69_a_lob_n01__1_3 n69_a_lob_n01__1_4 PUNC n69_a_lob_n01__1->n69_a_lob_n01__1_4 n69_a_lob_n01__1_1_1 Q;_nphd_ n69_a_lob_n01__1_1->n69_a_lob_n01__1_1_1 n69_a_lob_n01__1_1_2 D n69_a_lob_n01__1_1->n69_a_lob_n01__1_1_2 n69_a_lob_n01__1_1_3 NS n69_a_lob_n01__1_1->n69_a_lob_n01__1_1_3 n69_a_lob_n01__1_1_4 IP-REL n69_a_lob_n01__1_1->n69_a_lob_n01__1_1_4 n69_a_lob_n01__1_1_1->n69_a_lob_n01__1_1_1_1 n69_a_lob_n01__1_1_2->n69_a_lob_n01__1_1_2_1 n69_a_lob_n01__1_1_3->n69_a_lob_n01__1_1_3_1 n69_a_lob_n01__1_1_4_1 PP-126 n69_a_lob_n01__1_1_4->n69_a_lob_n01__1_1_4_1 n69_a_lob_n01__1_1_4_2 NP-SBJ n69_a_lob_n01__1_1_4->n69_a_lob_n01__1_1_4_2 n69_a_lob_n01__1_1_4_3 BED;_cat_Vg_ n69_a_lob_n01__1_1_4->n69_a_lob_n01__1_1_4_3 n69_a_lob_n01__1_1_4_4 IP-PPL-CAT n69_a_lob_n01__1_1_4->n69_a_lob_n01__1_1_4_4 n69_a_lob_n01__1_1_4_1_1 P-ROLE n69_a_lob_n01__1_1_4_1->n69_a_lob_n01__1_1_4_1_1 n69_a_lob_n01__1_1_4_1_2 NP n69_a_lob_n01__1_1_4_1->n69_a_lob_n01__1_1_4_1_2 n69_a_lob_n01__1_1_4_1_1->n69_a_lob_n01__1_1_4_1_1_1 n69_a_lob_n01__1_1_4_1_2_1 RPRO n69_a_lob_n01__1_1_4_1_2->n69_a_lob_n01__1_1_4_1_2_1 n69_a_lob_n01__1_1_4_1_2_1->n69_a_lob_n01__1_1_4_1_2_1_1 n69_a_lob_n01__1_1_4_2_1 PRO n69_a_lob_n01__1_1_4_2->n69_a_lob_n01__1_1_4_2_1 n69_a_lob_n01__1_1_4_2_1->n69_a_lob_n01__1_1_4_2_1_1 n69_a_lob_n01__1_1_4_3->n69_a_lob_n01__1_1_4_3_1 n69_a_lob_n01__1_1_4_4_1 PP-CLR n69_a_lob_n01__1_1_4_4->n69_a_lob_n01__1_1_4_4_1 n69_a_lob_n01__1_1_4_4_2 VAG;__ n69_a_lob_n01__1_1_4_4->n69_a_lob_n01__1_1_4_4_2 n69_a_lob_n01__1_1_4_4_1->n69_a_lob_n01__1_1_4_4_1_1 n69_a_lob_n01__1_1_4_4_2->n69_a_lob_n01__1_1_4_4_2_1 n69_a_lob_n01__1_2->n69_a_lob_n01__1_2_1 n69_a_lob_n01__1_3_1 BE;_La_ n69_a_lob_n01__1_3->n69_a_lob_n01__1_3_1 n69_a_lob_n01__1_3_2 ADJP-PRD n69_a_lob_n01__1_3->n69_a_lob_n01__1_3_2 n69_a_lob_n01__1_3_1->n69_a_lob_n01__1_3_1_1 n69_a_lob_n01__1_3_2_1 ADJ n69_a_lob_n01__1_3_2->n69_a_lob_n01__1_3_2_1 n69_a_lob_n01__1_3_2_1->n69_a_lob_n01__1_3_2_1_1 n69_a_lob_n01__1_4->n69_a_lob_n01__1_4_1 
( (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))