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

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

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