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).

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) ) ) ).

( (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))