arc(r_0008_0003__beings, r_0008_0002__human, attrib9).
arc(r_0008_0004__are, r_0008_0006__divided, scope).
arc(r_0008_0006__divided, r_0008_0001__We, arg1).
arc(r_0008_0006__divided, r_0008_0005__still, nim19).
arc(r_0008_0006__divided, r_0008_0008__nation_r_0008_0009__states, r_0008_0007__into_clr27).
arc(r_0008_0006__divided, z_000_8_a_voyager_17, 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_0012__these_r_0008_0013__states, arg0).
arc(r_0008_0016__becoming, r_0008_0015__rapidly, nim46).
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, attrib54).
arc(r_0008_0017__a_r_0008_0020__civilization, r_0008_0019__global, attrib57).
arc(z_000_8_a_voyager_7, r_0008_0001__We, arg0).
arc(z_000_8_a_voyager_7, 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_000_8_A_VOYAGER_17,R_0008_0004__ARE_R_0008_0006__DIVIDED,R_0008_0012__THESE_R_0008_0013__STATES,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_000_8_A_VOYAGER_7] :
      ( 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_0012__these_r_0008_0013__states(R_0008_0012__THESE_R_0008_0013__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_000_8_a_voyager_17(Z_000_8_A_VOYAGER_17)
      & z_000_8_a_voyager_7(Z_000_8_A_VOYAGER_7)
      & has_prd(Z_000_8_A_VOYAGER_7,R_0008_0003__BEINGS)
      & r_0008_0003__beings(R_0008_0003__BEINGS)
      & has_attrib9(R_0008_0003__BEINGS,R_0008_0002__HUMAN)
      & has_arg0(Z_000_8_A_VOYAGER_7,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_attrib57(R_0008_0017__A_R_0008_0020__CIVILIZATION,R_0008_0019__GLOBAL)
      & has_attrib54(R_0008_0017__A_R_0008_0020__CIVILIZATION,R_0008_0018__SINGLE)
      & has_nim46(R_0008_0014__ARE_R_0008_0016__BECOMING,R_0008_0015__RAPIDLY)
      & has_arg0(R_0008_0014__ARE_R_0008_0016__BECOMING,R_0008_0012__THESE_R_0008_0013__STATES)
      & has_conj1(R_0008_0011__BUT,R_0008_0004__ARE_R_0008_0006__DIVIDED)
      & r_0008_0004__are_r_0008_0006__divided(R_0008_0004__ARE_R_0008_0006__DIVIDED)
      & has_arg0(R_0008_0004__ARE_R_0008_0006__DIVIDED,Z_000_8_A_VOYAGER_17)
      & has_r_0008_0007__into_clr27(R_0008_0004__ARE_R_0008_0006__DIVIDED,R_0008_0008__NATION_R_0008_0009__STATES)
      & has_nim19(R_0008_0004__ARE_R_0008_0006__DIVIDED,R_0008_0005__STILL)
      & has_arg1(R_0008_0004__ARE_R_0008_0006__DIVIDED,R_0008_0001__WE) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO We;{we})
                              (IP-PPL (NP-PRD;{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))