8_a_voyager
We human beings are still divided into nation states, but these states are rapidly becoming a single global civilization.
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO We;{we})
(PRN (NP;{HUMANS} (ADJP (ADJ human;{human}))
(NS beings;{being}))))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (NP-LGS *)
(ADVP-NIM (ADV still;{still}))
(VVN;_Tn.pr_ divided;{divide[into]})
(PP-CLR (P-ROLE into;{into})
(NP;{NATIONS} (N nation;{nation})
(NS states;{state})))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{NATIONS} (D these;{these})
(NS states;{state}))
(BEP;_cat_Vg_ are;{be})
(IP-PPL-CAT (ADVP-NIM (ADV rapidly;{rapidly}))
(VAG;_Ln_ becoming;{become})
(NP-PRD (D a;{a})
(ADJP (ADJ single;{single}))
(ADJP (ADJ global;{global}))
(N civilization;{civilization}))))))
(PUNC .))
(ID 8_a_voyager))
arc(r_0008_0003__beings,r_0008_0002__human,attrib).
arc(r_0008_0004__are,r_0008_0006__divided_r_0008_0007__into,scope).
arc(r_0008_0006__divided_r_0008_0007__into,r_0008_0001__We,arg1).
arc(r_0008_0006__divided_r_0008_0007__into,r_0008_0005__still,nim).
arc(r_0008_0006__divided_r_0008_0007__into,r_0008_0008__nation_r_0008_0009__states,arg2).
arc(r_0008_0006__divided_r_0008_0007__into,z_0008_5008___star_,arg0).
arc(r_0008_0011__but,r_0008_0004__are,conj1).
arc(r_0008_0011__but,r_0008_0014__are,conj2).
arc(r_0008_0014__are,r_0008_0016__becoming,scope).
arc(r_0008_0016__becoming,r_0008_0008__nation_r_0008_0009__states,arg0).
arc(r_0008_0016__becoming,r_0008_0015__rapidly,nim).
arc(r_0008_0016__becoming,r_0008_0017__a_r_0008_0020__civilization,prd).
arc(r_0008_0017__a_r_0008_0020__civilization,r_0008_0018__single,attrib).
arc(r_0008_0017__a_r_0008_0020__civilization,r_0008_0019__global,attrib).
arc(z_0008_5003,r_0008_0001__We,arg0).
arc(z_0008_5003,r_0008_0003__beings,prd).
fof(formula,axiom,
? [R_0008_0001__WE,R_0008_0005__STILL,R_0008_0008__NATION_R_0008_0009__STATES,Z_0008_5008___STAR_,R_0008_0004__ARE_R_0008_0006__DIVIDED_R_0008_0007__INTO,R_0008_0015__RAPIDLY,R_0008_0018__SINGLE,R_0008_0019__GLOBAL,R_0008_0017__A_R_0008_0020__CIVILIZATION,R_0008_0014__ARE_R_0008_0016__BECOMING,R_0008_0011__BUT,R_0008_0002__HUMAN,R_0008_0003__BEINGS,Z_0008_5003] :
( r_0008_0001__We(R_0008_0001__WE)
& r_0008_0002__human(R_0008_0002__HUMAN)
& r_0008_0005__still(R_0008_0005__STILL)
& r_0008_0008__nation_r_0008_0009__states(R_0008_0008__NATION_R_0008_0009__STATES)
& r_0008_0015__rapidly(R_0008_0015__RAPIDLY)
& r_0008_0018__single(R_0008_0018__SINGLE)
& r_0008_0019__global(R_0008_0019__GLOBAL)
& z_0008_5008___star_(Z_0008_5008___STAR_)
& z_0008_5003(Z_0008_5003)
& has_prd(Z_0008_5003,R_0008_0003__BEINGS)
& r_0008_0003__beings(R_0008_0003__BEINGS)
& has_attrib(R_0008_0003__BEINGS,R_0008_0002__HUMAN)
& has_arg0(Z_0008_5003,R_0008_0001__WE)
& r_0008_0011__but(R_0008_0011__BUT)
& has_conj2(R_0008_0011__BUT,R_0008_0014__ARE_R_0008_0016__BECOMING)
& r_0008_0014__are_r_0008_0016__becoming(R_0008_0014__ARE_R_0008_0016__BECOMING)
& has_prd(R_0008_0014__ARE_R_0008_0016__BECOMING,R_0008_0017__A_R_0008_0020__CIVILIZATION)
& r_0008_0017__a_r_0008_0020__civilization(R_0008_0017__A_R_0008_0020__CIVILIZATION)
& has_attrib(R_0008_0017__A_R_0008_0020__CIVILIZATION,R_0008_0019__GLOBAL)
& has_attrib(R_0008_0017__A_R_0008_0020__CIVILIZATION,R_0008_0018__SINGLE)
& has_nim(R_0008_0014__ARE_R_0008_0016__BECOMING,R_0008_0015__RAPIDLY)
& has_arg0(R_0008_0014__ARE_R_0008_0016__BECOMING,R_0008_0008__NATION_R_0008_0009__STATES)
& has_conj1(R_0008_0011__BUT,R_0008_0004__ARE_R_0008_0006__DIVIDED_R_0008_0007__INTO)
& r_0008_0004__are_r_0008_0006__divided_r_0008_0007__into(R_0008_0004__ARE_R_0008_0006__DIVIDED_R_0008_0007__INTO)
& has_arg0(R_0008_0004__ARE_R_0008_0006__DIVIDED_R_0008_0007__INTO,Z_0008_5008___STAR_)
& has_arg2(R_0008_0004__ARE_R_0008_0006__DIVIDED_R_0008_0007__INTO,R_0008_0008__NATION_R_0008_0009__STATES)
& has_nim(R_0008_0004__ARE_R_0008_0006__DIVIDED_R_0008_0007__INTO,R_0008_0005__STILL)
& has_arg1(R_0008_0004__ARE_R_0008_0006__DIVIDED_R_0008_0007__INTO,R_0008_0001__WE) ) ).