( (IP-MAT (NP-SBJ;{HUMANS} (PRO We;{we}))
          (BEP;_cat_Vg_ are;{be})
          (IP-PPL-CAT (VAG;_Tt_ attempting;{attempt})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ survive;{survive})
                                  (NP-OB1 (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
                                          (N time;{time}))))
          (PP-SCON (P-CONN so;{so})
                   (IP-ADV (NP-SBJ;{HUMANS} (PRO we;{we}))
                           (MD;_cat_Vi_ may;{may})
                           (IP-INF-CAT (VB;_Ipr_ live;{live[into]})
                                       (PP-CLR (P-ROLE into;{into})
                                               (NP (NP-GEN (PRO;_ppge_ yours;{yours})))))))
          (PUNC .))
  (ID 14_a_voyager))

arc(r_0014_0002__are,r_0014_0003__attempting,scope).
arc(r_0014_0003__attempting,r_0014_0001__We,arg0).
arc(r_0014_0003__attempting,r_0014_0005__survive,arg1).
arc(r_0014_0005__survive,r_0014_0001__We,arg0).
arc(r_0014_0005__survive,r_0014_0007__time,arg1).
arc(r_0014_0007__time,r_0014_0001__We,gen).
arc(r_0014_0008__so,r_0014_0002__are,scope).
arc(r_0014_0008__so,r_0014_0010__may,restriction).
arc(r_0014_0010__may,r_0014_0011__live_r_0014_0012__into,scope).
arc(r_0014_0011__live_r_0014_0012__into,r_0014_0001__We,arg0).
arc(r_0014_0011__live_r_0014_0012__into,z_0014_5005,arg1).
arc(z_0014_5005,r_0014_0013__yours,gen).

fof(formula,axiom,
    ? [R_0014_0001__WE,R_0014_0007__TIME,R_0014_0005__SURVIVE,R_0014_0002__ARE_R_0014_0003__ATTEMPTING,R_0014_0013__YOURS,Z_0014_5005,R_0014_0010__MAY_R_0014_0011__LIVE_R_0014_0012__INTO,R_0014_0008__SO] :
      ( r_0014_0001__We(R_0014_0001__WE)
      & r_0014_0013__yours(R_0014_0013__YOURS)
      & r_0014_0008__so(R_0014_0008__SO)
      & has_conj1(R_0014_0008__SO,R_0014_0010__MAY_R_0014_0011__LIVE_R_0014_0012__INTO)
      & r_0014_0010__may_r_0014_0011__live_r_0014_0012__into(R_0014_0010__MAY_R_0014_0011__LIVE_R_0014_0012__INTO)
      & has_arg1(R_0014_0010__MAY_R_0014_0011__LIVE_R_0014_0012__INTO,Z_0014_5005)
      & z_0014_5005(Z_0014_5005)
      & has_gen(Z_0014_5005,R_0014_0013__YOURS)
      & has_arg0(R_0014_0010__MAY_R_0014_0011__LIVE_R_0014_0012__INTO,R_0014_0001__WE)
      & has_conj2(R_0014_0008__SO,R_0014_0002__ARE_R_0014_0003__ATTEMPTING)
      & r_0014_0002__are_r_0014_0003__attempting(R_0014_0002__ARE_R_0014_0003__ATTEMPTING)
      & has_arg1(R_0014_0002__ARE_R_0014_0003__ATTEMPTING,R_0014_0005__SURVIVE)
      & r_0014_0005__survive(R_0014_0005__SURVIVE)
      & has_arg1(R_0014_0005__SURVIVE,R_0014_0007__TIME)
      & r_0014_0007__time(R_0014_0007__TIME)
      & has_gen(R_0014_0007__TIME,R_0014_0001__WE)
      & has_arg0(R_0014_0005__SURVIVE,R_0014_0001__WE)
      & has_arg0(R_0014_0002__ARE_R_0014_0003__ATTEMPTING,R_0014_0001__WE) ) ).