14_a_voyager
We are attempting to survive our time so we may live into yours.
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_14_8_SO,R_14_10_MAY_LIVE,Z_14_A_VOYAGER_36,R_14_13_YOURS,R_14_2_ARE_ATTEMPTING,R_14_4_TO_SURVIVE,R_14_7_TIME,R_14_1_WE] :
( yours(R_14_13_YOURS)
& we(R_14_1_WE)
& so(R_14_8_SO)
& conj1(R_14_8_SO,R_14_10_MAY_LIVE)
& may_live(R_14_10_MAY_LIVE,R_14_1_WE)
& into_clr36(R_14_10_MAY_LIVE,Z_14_A_VOYAGER_36)
& z_14_a_voyager_36(Z_14_A_VOYAGER_36)
& gen(Z_14_A_VOYAGER_36,R_14_13_YOURS)
& conj2(R_14_8_SO,R_14_2_ARE_ATTEMPTING)
& are_attempting(R_14_2_ARE_ATTEMPTING,R_14_1_WE,R_14_4_TO_SURVIVE)
& to_survive(R_14_4_TO_SURVIVE,R_14_1_WE,R_14_7_TIME)
& time(R_14_7_TIME)
& gen(R_14_7_TIME,R_14_1_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))