Context                Previous, Next                Top


129_a_dick_1952
All our reasoning tells us that no life could exist;

%3 r_0129_0001__All_quant All [quant] r_0129_0003__reasoning reasoning r_0129_0001__All_quant->r_0129_0003__reasoning [restriction] r_0129_0004__tells tells r_0129_0001__All_quant->r_0129_0004__tells [scope] r_0129_0002__our our r_0129_0003__reasoning->r_0129_0002__our [gen] r_0129_0004__tells->r_0129_0003__reasoning [arg0] r_0129_0005__us us r_0129_0004__tells->r_0129_0005__us [arg2] r_0129_0007__no_quant no [quant] r_0129_0004__tells->r_0129_0007__no_quant [arg1] r_0129_0006__that_r_0129_0009__could that could r_0129_0007__no_quant->r_0129_0006__that_r_0129_0009__could [scope] r_0129_0008__life life r_0129_0007__no_quant->r_0129_0008__life [restriction] r_0129_0010__exist exist r_0129_0006__that_r_0129_0009__could->r_0129_0010__exist [scope] r_0129_0010__exist->r_0129_0008__life [arg0] 
arc(r_0129_0001__All_quant, r_0129_0003__reasoning, restriction).
arc(r_0129_0001__All_quant, r_0129_0004__tells, scope).
arc(r_0129_0003__reasoning, r_0129_0002__our, gen).
arc(r_0129_0004__tells, r_0129_0003__reasoning, arg0).
arc(r_0129_0004__tells, r_0129_0005__us, arg2).
arc(r_0129_0004__tells, r_0129_0007__no_quant, arg1).
arc(r_0129_0006__that_r_0129_0009__could, r_0129_0010__exist, scope).
arc(r_0129_0007__no_quant, r_0129_0006__that_r_0129_0009__could, scope).
arc(r_0129_0007__no_quant, r_0129_0008__life, restriction).
arc(r_0129_0010__exist, r_0129_0008__life, arg0).


%3 r_0129_0001__All_quant All [quant] r_0129_0003__reasoning reasoning r_0129_0001__All_quant->r_0129_0003__reasoning [restriction] r_0129_0004__tells tells r_0129_0001__All_quant->r_0129_0004__tells [scope] r_0129_0002__our our r_0129_0003__reasoning->r_0129_0002__our [gen] r_0129_0004__tells->r_0129_0003__reasoning [arg0] r_0129_0005__us us r_0129_0004__tells->r_0129_0005__us [arg2] r_0129_0007__no_quant no [quant] r_0129_0004__tells->r_0129_0007__no_quant [arg1] r_0129_0006__that_r_0129_0009__could_r_0129_0010__exist that could exist r_0129_0007__no_quant->r_0129_0006__that_r_0129_0009__could_r_0129_0010__exist [scope] r_0129_0008__life life r_0129_0007__no_quant->r_0129_0008__life [restriction] r_0129_0006__that_r_0129_0009__could_r_0129_0010__exist->r_0129_0008__life [arg0] 
fof(formula,axiom,
    ! [R_129_3_REASONING,R_129_2_OUR] :
      ( ( our(R_129_2_OUR)
        & reasoning(R_129_3_REASONING)
        & gen(R_129_3_REASONING,R_129_2_OUR) )
     => ? [R_129_4_TELLS,R_129_5_US] :
          ( us(R_129_5_US)
          & ! [R_129_8_LIFE] :
              ( life(R_129_8_LIFE)
             => ? [R_129_6_THAT_COULD_EXIST] : that_could_exist(R_129_6_THAT_COULD_EXIST,R_129_8_LIFE) )
          & arg1(ARG1)
          & tells(R_129_4_TELLS,R_129_3_REASONING)
          & arg2(R_129_4_TELLS,R_129_5_US) ) ) ).


n129_a_dick_1952 n129_a_dick_1952_4 All n129_a_dick_1952_7 our n129_a_dick_1952_9 reasoning n129_a_dick_1952_11 tells n129_a_dick_1952_14 us n129_a_dick_1952_18 that n129_a_dick_1952_21 no n129_a_dick_1952_23 life n129_a_dick_1952_25 could n129_a_dick_1952_28 exist n129_a_dick_1952_30 ; n129_a_dick_1952_1 IP-MAT n129_a_dick_1952_2 NP-SBJ n129_a_dick_1952_1->n129_a_dick_1952_2 n129_a_dick_1952_10 VBP;_Dn.f_ n129_a_dick_1952_1->n129_a_dick_1952_10 n129_a_dick_1952_12 NP-OB2 n129_a_dick_1952_1->n129_a_dick_1952_12 n129_a_dick_1952_15 CP-THT-OB1 n129_a_dick_1952_1->n129_a_dick_1952_15 n129_a_dick_1952_29 PUNC n129_a_dick_1952_1->n129_a_dick_1952_29 n129_a_dick_1952_3 Q n129_a_dick_1952_2->n129_a_dick_1952_3 n129_a_dick_1952_5 NP-GEN n129_a_dick_1952_2->n129_a_dick_1952_5 n129_a_dick_1952_8 N n129_a_dick_1952_2->n129_a_dick_1952_8 n129_a_dick_1952_3->n129_a_dick_1952_4 n129_a_dick_1952_6 PRO;_genm_ n129_a_dick_1952_5->n129_a_dick_1952_6 n129_a_dick_1952_6->n129_a_dick_1952_7 n129_a_dick_1952_8->n129_a_dick_1952_9 n129_a_dick_1952_10->n129_a_dick_1952_11 n129_a_dick_1952_13 PRO n129_a_dick_1952_12->n129_a_dick_1952_13 n129_a_dick_1952_13->n129_a_dick_1952_14 n129_a_dick_1952_16 IP-SUB n129_a_dick_1952_15->n129_a_dick_1952_16 n129_a_dick_1952_17 C n129_a_dick_1952_16->n129_a_dick_1952_17 n129_a_dick_1952_19 NP-SBJ n129_a_dick_1952_16->n129_a_dick_1952_19 n129_a_dick_1952_24 MD;_cat_Vi_ n129_a_dick_1952_16->n129_a_dick_1952_24 n129_a_dick_1952_26 IP-INF-CAT n129_a_dick_1952_16->n129_a_dick_1952_26 n129_a_dick_1952_17->n129_a_dick_1952_18 n129_a_dick_1952_20 Q n129_a_dick_1952_19->n129_a_dick_1952_20 n129_a_dick_1952_22 N n129_a_dick_1952_19->n129_a_dick_1952_22 n129_a_dick_1952_20->n129_a_dick_1952_21 n129_a_dick_1952_22->n129_a_dick_1952_23 n129_a_dick_1952_24->n129_a_dick_1952_25 n129_a_dick_1952_27 VB;_I_ n129_a_dick_1952_26->n129_a_dick_1952_27 n129_a_dick_1952_27->n129_a_dick_1952_28 n129_a_dick_1952_29->n129_a_dick_1952_30 
( (IP-MAT (NP-SBJ (Q All;{all})
                  (NP-GEN;{TRESPASSERS} (PRO;_genm_ our;{our}))
                  (N reasoning;{reasoning}))
          (VBP;_Dn.f_ tells;{tell})
          (NP-OB2;{TRESPASSERS} (PRO us;{we}))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (Q no;{no})
                                      (N life;{life}))
                              (MD;_cat_Vi_ could;{can})
                              (IP-INF-CAT (VB;_I_ exist;{exist}))))
          (PUNC ;))
  (ID 129_a_dick_1952))