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_0004__to_r_0014_0005__survive, arg1).
arc(r_0014_0004__to_r_0014_0005__survive, r_0014_0001__We, arg0).
arc(r_0014_0004__to_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, scope).
arc(r_0014_0011__live, r_0014_0001__We, arg0).
arc(r_0014_0011__live, z_000_14_a_voyager_36, r_0014_0012__into_clr36).
arc(z_000_14_a_voyager_36, r_0014_0013__yours, gen).

fof(formula,axiom,
    ? [R_0014_0001__WE,R_0014_0007__TIME,R_0014_0004__TO_R_0014_0005__SURVIVE,R_0014_0002__ARE_R_0014_0003__ATTEMPTING,R_0014_0013__YOURS,Z_000_14_A_VOYAGER_36,R_0014_0010__MAY_R_0014_0011__LIVE,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_0010__may_r_0014_0011__live(R_0014_0010__MAY_R_0014_0011__LIVE)
      & has_r_0014_0012__into_clr36(R_0014_0010__MAY_R_0014_0011__LIVE,Z_000_14_A_VOYAGER_36)
      & z_000_14_a_voyager_36(Z_000_14_A_VOYAGER_36)
      & has_gen(Z_000_14_A_VOYAGER_36,R_0014_0013__YOURS)
      & has_arg0(R_0014_0010__MAY_R_0014_0011__LIVE,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_0004__TO_R_0014_0005__SURVIVE)
      & r_0014_0004__to_r_0014_0005__survive(R_0014_0004__TO_R_0014_0005__SURVIVE)
      & has_arg1(R_0014_0004__TO_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_0004__TO_R_0014_0005__SURVIVE,R_0014_0001__WE)
      & has_arg0(R_0014_0002__ARE_R_0014_0003__ATTEMPTING,R_0014_0001__WE) ) ).

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