Context                Previous, Next                Top


43_a_dick_1952
No life could possibly exist.

%3 r_0043_0001__No_quant No [quant] r_0043_0002__life life r_0043_0001__No_quant->r_0043_0002__life [restriction] r_0043_0003__could could r_0043_0001__No_quant->r_0043_0003__could [scope] r_0043_0005__exist exist r_0043_0003__could->r_0043_0005__exist [scope] r_0043_0005__exist->r_0043_0002__life [arg0] r_0043_0004__possibly possibly r_0043_0005__exist->r_0043_0004__possibly [nim] 
arc(r_0043_0001__No_quant, r_0043_0002__life, restriction).
arc(r_0043_0001__No_quant, r_0043_0003__could, scope).
arc(r_0043_0003__could, r_0043_0005__exist, scope).
arc(r_0043_0005__exist, r_0043_0002__life, arg0).
arc(r_0043_0005__exist, r_0043_0004__possibly, nim10).


%3 r_0043_0003__could_r_0043_0005__exist could exist r_0043_0004__possibly possibly r_0043_0003__could_r_0043_0005__exist->r_0043_0004__possibly [nim] r_0043_0002__life life r_0043_0003__could_r_0043_0005__exist->r_0043_0002__life [arg0] r_0043_0001__No_quant No [quant] r_0043_0001__No_quant->r_0043_0003__could_r_0043_0005__exist [scope] r_0043_0001__No_quant->r_0043_0002__life [restriction] 
fof(formula,axiom,
    ! [R_0043_0002__LIFE] :
      ( r_0043_0002__life(R_0043_0002__LIFE)
     => ? [R_0043_0004__POSSIBLY,R_0043_0003__COULD_R_0043_0005__EXIST] :
          ( r_0043_0004__possibly(R_0043_0004__POSSIBLY)
          & r_0043_0003__could_r_0043_0005__exist(R_0043_0003__COULD_R_0043_0005__EXIST)
          & has_nim10(R_0043_0003__COULD_R_0043_0005__EXIST,R_0043_0004__POSSIBLY)
          & has_arg0(R_0043_0003__COULD_R_0043_0005__EXIST,R_0043_0002__LIFE) ) ) ).


n43_a_dick_1952 n43_a_dick_1952__1_1_1_1 No n43_a_dick_1952__1_1_2_1 life n43_a_dick_1952__1_2_1 could n43_a_dick_1952__1_3_1_1_1 possibly n43_a_dick_1952__1_3_2_1 exist n43_a_dick_1952__1_4_1 . n43_a_dick_1952__1 IP-MAT n43_a_dick_1952__1_1 NP-SBJ n43_a_dick_1952__1->n43_a_dick_1952__1_1 n43_a_dick_1952__1_2 MD;_cat_Vi_ n43_a_dick_1952__1->n43_a_dick_1952__1_2 n43_a_dick_1952__1_3 IP-INF-CAT n43_a_dick_1952__1->n43_a_dick_1952__1_3 n43_a_dick_1952__1_4 PUNC n43_a_dick_1952__1->n43_a_dick_1952__1_4 n43_a_dick_1952__1_1_1 Q n43_a_dick_1952__1_1->n43_a_dick_1952__1_1_1 n43_a_dick_1952__1_1_2 N n43_a_dick_1952__1_1->n43_a_dick_1952__1_1_2 n43_a_dick_1952__1_1_1->n43_a_dick_1952__1_1_1_1 n43_a_dick_1952__1_1_2->n43_a_dick_1952__1_1_2_1 n43_a_dick_1952__1_2->n43_a_dick_1952__1_2_1 n43_a_dick_1952__1_3_1 ADVP-NIM n43_a_dick_1952__1_3->n43_a_dick_1952__1_3_1 n43_a_dick_1952__1_3_2 VB;_I_ n43_a_dick_1952__1_3->n43_a_dick_1952__1_3_2 n43_a_dick_1952__1_3_1_1 ADV n43_a_dick_1952__1_3_1->n43_a_dick_1952__1_3_1_1 n43_a_dick_1952__1_3_1_1->n43_a_dick_1952__1_3_1_1_1 n43_a_dick_1952__1_3_2->n43_a_dick_1952__1_3_2_1 n43_a_dick_1952__1_4->n43_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ (Q No;{no})
                  (N life;{life}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (ADVP-NIM (ADV possibly;{possibly}))
                      (VB;_I_ exist;{exist}))
          (PUNC .))
  (ID 43_a_dick_1952))