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

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_0002__our,arg2).
arc(r_0129_0004__tells,r_0129_0003__reasoning,arg0).
arc(r_0129_0004__tells,r_0129_0007__no__quant,arg1).
arc(r_0129_0007__no__quant,r_0129_0008__life,restriction).
arc(r_0129_0007__no__quant,r_0129_0009__could,scope).
arc(r_0129_0009__could,r_0129_0010__exist,scope).
arc(r_0129_0010__exist,r_0129_0008__life,arg0).

fof(formula,axiom,
    ! [R_0129_0003__REASONING,R_0129_0002__OUR] :
      ( ( r_0129_0002__our(R_0129_0002__OUR)
        & r_0129_0003__reasoning(R_0129_0003__REASONING)
        & has_gen(R_0129_0003__REASONING,R_0129_0002__OUR) )
     => ? [R_0129_0004__TELLS] :
          ( r_0129_0004__tells(R_0129_0004__TELLS)
          & ! [R_0129_0008__LIFE] :
              ( r_0129_0008__life(R_0129_0008__LIFE)
             => ? [R_0129_0009__COULD_R_0129_0010__EXIST] :
                  ( r_0129_0009__could_r_0129_0010__exist(R_0129_0009__COULD_R_0129_0010__EXIST)
                  & has_arg0(R_0129_0009__COULD_R_0129_0010__EXIST,R_0129_0008__LIFE) ) )
          & has_arg0(R_0129_0004__TELLS,R_0129_0003__REASONING)
          & has_arg2(R_0129_0004__TELLS,R_0129_0002__OUR) ) ) ).