Context                Previous, Next                Top


8_a_voyager
We human beings are still divided into nation states, but these states are rapidly becoming a single global civilization.

%3 r_0008_0003__beings beings r_0008_0002__human human r_0008_0003__beings->r_0008_0002__human [attrib] r_0008_0004__are are r_0008_0006__divided divided r_0008_0004__are->r_0008_0006__divided [scope] r_0008_0001__We We r_0008_0006__divided->r_0008_0001__We [arg1] r_0008_0005__still still r_0008_0006__divided->r_0008_0005__still [nim] r_0008_0008__nation_r_0008_0009__states nation states r_0008_0006__divided->r_0008_0008__nation_r_0008_0009__states into [clr] z_000_8_a_voyager_17 r_0008_0006__divided->z_000_8_a_voyager_17 [arg0] r_0008_0011__but but r_0008_0011__but->r_0008_0004__are [conj1] r_0008_0014__are are r_0008_0011__but->r_0008_0014__are [conj2] r_0008_0016__becoming becoming r_0008_0014__are->r_0008_0016__becoming [scope] r_0008_0012__these_r_0008_0013__states these states r_0008_0016__becoming->r_0008_0012__these_r_0008_0013__states [arg0] r_0008_0015__rapidly rapidly r_0008_0016__becoming->r_0008_0015__rapidly [nim] r_0008_0017__a_r_0008_0020__civilization a civilization r_0008_0016__becoming->r_0008_0017__a_r_0008_0020__civilization [prd] r_0008_0018__single single r_0008_0017__a_r_0008_0020__civilization->r_0008_0018__single [attrib] r_0008_0019__global global r_0008_0017__a_r_0008_0020__civilization->r_0008_0019__global [attrib] z_000_8_a_voyager_7 z_000_8_a_voyager_7->r_0008_0003__beings [prd] z_000_8_a_voyager_7->r_0008_0001__We [arg0] 
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).


%3 z_000_8_a_voyager_7 r_0008_0003__beings beings z_000_8_a_voyager_7->r_0008_0003__beings [prd] r_0008_0001__We We z_000_8_a_voyager_7->r_0008_0001__We [arg0] r_0008_0002__human human r_0008_0003__beings->r_0008_0002__human [attrib] r_0008_0017__a_r_0008_0020__civilization a civilization r_0008_0019__global global r_0008_0017__a_r_0008_0020__civilization->r_0008_0019__global [attrib] r_0008_0018__single single r_0008_0017__a_r_0008_0020__civilization->r_0008_0018__single [attrib] r_0008_0014__are_r_0008_0016__becoming are becoming r_0008_0014__are_r_0008_0016__becoming->r_0008_0017__a_r_0008_0020__civilization [prd] r_0008_0015__rapidly rapidly r_0008_0014__are_r_0008_0016__becoming->r_0008_0015__rapidly [nim] r_0008_0012__these_r_0008_0013__states these states r_0008_0014__are_r_0008_0016__becoming->r_0008_0012__these_r_0008_0013__states [arg0] r_0008_0011__but but r_0008_0011__but->r_0008_0014__are_r_0008_0016__becoming [conj2] r_0008_0004__are_r_0008_0006__divided are divided r_0008_0011__but->r_0008_0004__are_r_0008_0006__divided [conj1] r_0008_0004__are_r_0008_0006__divided->r_0008_0001__We [arg1] z_000_8_a_voyager_17 r_0008_0004__are_r_0008_0006__divided->z_000_8_a_voyager_17 [arg0] r_0008_0008__nation_r_0008_0009__states nation states r_0008_0004__are_r_0008_0006__divided->r_0008_0008__nation_r_0008_0009__states into [clr] r_0008_0005__still still r_0008_0004__are_r_0008_0006__divided->r_0008_0005__still [nim] 
fof(formula,axiom,
    ? [R_8_11_BUT,R_8_4_ARE_DIVIDED,Z_8_A_VOYAGER_17,R_8_5_STILL,R_8_8_NATION_STATES,R_8_14_ARE_BECOMING,R_8_12_THESE_STATES,R_8_15_RAPIDLY,R_8_17_A_CIVILIZATION,R_8_18_SINGLE,R_8_19_GLOBAL,Z_8_A_VOYAGER_7,R_8_1_WE,R_8_3_BEINGS,R_8_2_HUMAN] :
      ( still(R_8_5_STILL)
      & nation_states(R_8_8_NATION_STATES)
      & these_states(R_8_12_THESE_STATES)
      & rapidly(R_8_15_RAPIDLY)
      & single(R_8_18_SINGLE)
      & global(R_8_19_GLOBAL)
      & we(R_8_1_WE)
      & human(R_8_2_HUMAN)
      & but(R_8_11_BUT)
      & conj1(R_8_11_BUT,R_8_4_ARE_DIVIDED)
      & are_divided(R_8_4_ARE_DIVIDED,Z_8_A_VOYAGER_17,R_8_1_WE)
      & nim19(R_8_4_ARE_DIVIDED,R_8_5_STILL)
      & into_clr27(R_8_4_ARE_DIVIDED,R_8_8_NATION_STATES)
      & conj2(R_8_11_BUT,R_8_14_ARE_BECOMING)
      & are_becoming(R_8_14_ARE_BECOMING,R_8_12_THESE_STATES,R_8_17_A_CIVILIZATION)
      & a_civilization(R_8_17_A_CIVILIZATION)
      & attrib54(R_8_17_A_CIVILIZATION,R_8_18_SINGLE)
      & attrib57(R_8_17_A_CIVILIZATION,R_8_19_GLOBAL)
      & nim46(R_8_14_ARE_BECOMING,R_8_15_RAPIDLY)
      & z_8_a_voyager_7(Z_8_A_VOYAGER_7,R_8_1_WE,R_8_3_BEINGS)
      & beings(R_8_3_BEINGS)
      & attrib9(R_8_3_BEINGS,R_8_2_HUMAN) ) ).


n8_a_voyager n8_a_voyager__1_1_1_1_1_1 We n8_a_voyager__1_1_1_1_2_1_1_1_1 human n8_a_voyager__1_1_1_1_2_1_2_1 beings n8_a_voyager__1_1_1_2_1 are n8_a_voyager__1_1_1_3_1_1 * n8_a_voyager__1_1_1_3_2_1_1 still n8_a_voyager__1_1_1_3_3_1 divided n8_a_voyager__1_1_1_3_4_1_1 into n8_a_voyager__1_1_1_3_4_2_1_1 nation n8_a_voyager__1_1_1_3_4_2_2_1 states n8_a_voyager__1_1_2_1 , n8_a_voyager__1_1_3_1_1 but n8_a_voyager__1_1_3_2_1_1_1 these n8_a_voyager__1_1_3_2_1_2_1 states n8_a_voyager__1_1_3_2_2_1 are n8_a_voyager__1_1_3_2_3_1_1_1 rapidly n8_a_voyager__1_1_3_2_3_2_1 becoming n8_a_voyager__1_1_3_2_3_3_1_1 a n8_a_voyager__1_1_3_2_3_3_2_1_1 single n8_a_voyager__1_1_3_2_3_3_3_1_1 global n8_a_voyager__1_1_3_2_3_3_4_1 civilization n8_a_voyager__1_2_1 . n8_a_voyager__1 IP-MAT n8_a_voyager__1_1 ILYR n8_a_voyager__1->n8_a_voyager__1_1 n8_a_voyager__1_2 PUNC n8_a_voyager__1->n8_a_voyager__1_2 n8_a_voyager__1_1_1 ILYR n8_a_voyager__1_1->n8_a_voyager__1_1_1 n8_a_voyager__1_1_2 PUNC n8_a_voyager__1_1->n8_a_voyager__1_1_2 n8_a_voyager__1_1_3 CONJP n8_a_voyager__1_1->n8_a_voyager__1_1_3 n8_a_voyager__1_1_1_1 NP-SBJ n8_a_voyager__1_1_1->n8_a_voyager__1_1_1_1 n8_a_voyager__1_1_1_2 BEP;_cat_VePASS_ n8_a_voyager__1_1_1->n8_a_voyager__1_1_1_2 n8_a_voyager__1_1_1_3 IP-PPL-CAT n8_a_voyager__1_1_1->n8_a_voyager__1_1_1_3 n8_a_voyager__1_1_1_1_1 PRO n8_a_voyager__1_1_1_1->n8_a_voyager__1_1_1_1_1 n8_a_voyager__1_1_1_1_2 IP-PPL n8_a_voyager__1_1_1_1->n8_a_voyager__1_1_1_1_2 n8_a_voyager__1_1_1_1_1->n8_a_voyager__1_1_1_1_1_1 n8_a_voyager__1_1_1_1_2_1 NP-PRD n8_a_voyager__1_1_1_1_2->n8_a_voyager__1_1_1_1_2_1 n8_a_voyager__1_1_1_1_2_1_1 ADJP n8_a_voyager__1_1_1_1_2_1->n8_a_voyager__1_1_1_1_2_1_1 n8_a_voyager__1_1_1_1_2_1_2 NS n8_a_voyager__1_1_1_1_2_1->n8_a_voyager__1_1_1_1_2_1_2 n8_a_voyager__1_1_1_1_2_1_1_1 ADJ n8_a_voyager__1_1_1_1_2_1_1->n8_a_voyager__1_1_1_1_2_1_1_1 n8_a_voyager__1_1_1_1_2_1_1_1->n8_a_voyager__1_1_1_1_2_1_1_1_1 n8_a_voyager__1_1_1_1_2_1_2->n8_a_voyager__1_1_1_1_2_1_2_1 n8_a_voyager__1_1_1_2->n8_a_voyager__1_1_1_2_1 n8_a_voyager__1_1_1_3_1 NP-LGS n8_a_voyager__1_1_1_3->n8_a_voyager__1_1_1_3_1 n8_a_voyager__1_1_1_3_2 ADVP-NIM n8_a_voyager__1_1_1_3->n8_a_voyager__1_1_1_3_2 n8_a_voyager__1_1_1_3_3 VVN;_Tn.pr_ n8_a_voyager__1_1_1_3->n8_a_voyager__1_1_1_3_3 n8_a_voyager__1_1_1_3_4 PP-CLR n8_a_voyager__1_1_1_3->n8_a_voyager__1_1_1_3_4 n8_a_voyager__1_1_1_3_1->n8_a_voyager__1_1_1_3_1_1 n8_a_voyager__1_1_1_3_2_1 ADV n8_a_voyager__1_1_1_3_2->n8_a_voyager__1_1_1_3_2_1 n8_a_voyager__1_1_1_3_2_1->n8_a_voyager__1_1_1_3_2_1_1 n8_a_voyager__1_1_1_3_3->n8_a_voyager__1_1_1_3_3_1 n8_a_voyager__1_1_1_3_4_1 P-ROLE n8_a_voyager__1_1_1_3_4->n8_a_voyager__1_1_1_3_4_1 n8_a_voyager__1_1_1_3_4_2 NP n8_a_voyager__1_1_1_3_4->n8_a_voyager__1_1_1_3_4_2 n8_a_voyager__1_1_1_3_4_1->n8_a_voyager__1_1_1_3_4_1_1 n8_a_voyager__1_1_1_3_4_2_1 N n8_a_voyager__1_1_1_3_4_2->n8_a_voyager__1_1_1_3_4_2_1 n8_a_voyager__1_1_1_3_4_2_2 NS n8_a_voyager__1_1_1_3_4_2->n8_a_voyager__1_1_1_3_4_2_2 n8_a_voyager__1_1_1_3_4_2_1->n8_a_voyager__1_1_1_3_4_2_1_1 n8_a_voyager__1_1_1_3_4_2_2->n8_a_voyager__1_1_1_3_4_2_2_1 n8_a_voyager__1_1_2->n8_a_voyager__1_1_2_1 n8_a_voyager__1_1_3_1 CONJ n8_a_voyager__1_1_3->n8_a_voyager__1_1_3_1 n8_a_voyager__1_1_3_2 ILYR n8_a_voyager__1_1_3->n8_a_voyager__1_1_3_2 n8_a_voyager__1_1_3_1->n8_a_voyager__1_1_3_1_1 n8_a_voyager__1_1_3_2_1 NP-SBJ n8_a_voyager__1_1_3_2->n8_a_voyager__1_1_3_2_1 n8_a_voyager__1_1_3_2_2 BEP;_cat_Vg_ n8_a_voyager__1_1_3_2->n8_a_voyager__1_1_3_2_2 n8_a_voyager__1_1_3_2_3 IP-PPL-CAT n8_a_voyager__1_1_3_2->n8_a_voyager__1_1_3_2_3 n8_a_voyager__1_1_3_2_1_1 D n8_a_voyager__1_1_3_2_1->n8_a_voyager__1_1_3_2_1_1 n8_a_voyager__1_1_3_2_1_2 NS n8_a_voyager__1_1_3_2_1->n8_a_voyager__1_1_3_2_1_2 n8_a_voyager__1_1_3_2_1_1->n8_a_voyager__1_1_3_2_1_1_1 n8_a_voyager__1_1_3_2_1_2->n8_a_voyager__1_1_3_2_1_2_1 n8_a_voyager__1_1_3_2_2->n8_a_voyager__1_1_3_2_2_1 n8_a_voyager__1_1_3_2_3_1 ADVP-NIM n8_a_voyager__1_1_3_2_3->n8_a_voyager__1_1_3_2_3_1 n8_a_voyager__1_1_3_2_3_2 VAG;_Ln_ n8_a_voyager__1_1_3_2_3->n8_a_voyager__1_1_3_2_3_2 n8_a_voyager__1_1_3_2_3_3 NP-PRD n8_a_voyager__1_1_3_2_3->n8_a_voyager__1_1_3_2_3_3 n8_a_voyager__1_1_3_2_3_1_1 ADV n8_a_voyager__1_1_3_2_3_1->n8_a_voyager__1_1_3_2_3_1_1 n8_a_voyager__1_1_3_2_3_1_1->n8_a_voyager__1_1_3_2_3_1_1_1 n8_a_voyager__1_1_3_2_3_2->n8_a_voyager__1_1_3_2_3_2_1 n8_a_voyager__1_1_3_2_3_3_1 D n8_a_voyager__1_1_3_2_3_3->n8_a_voyager__1_1_3_2_3_3_1 n8_a_voyager__1_1_3_2_3_3_2 ADJP n8_a_voyager__1_1_3_2_3_3->n8_a_voyager__1_1_3_2_3_3_2 n8_a_voyager__1_1_3_2_3_3_3 ADJP n8_a_voyager__1_1_3_2_3_3->n8_a_voyager__1_1_3_2_3_3_3 n8_a_voyager__1_1_3_2_3_3_4 N n8_a_voyager__1_1_3_2_3_3->n8_a_voyager__1_1_3_2_3_3_4 n8_a_voyager__1_1_3_2_3_3_1->n8_a_voyager__1_1_3_2_3_3_1_1 n8_a_voyager__1_1_3_2_3_3_2_1 ADJ n8_a_voyager__1_1_3_2_3_3_2->n8_a_voyager__1_1_3_2_3_3_2_1 n8_a_voyager__1_1_3_2_3_3_2_1->n8_a_voyager__1_1_3_2_3_3_2_1_1 n8_a_voyager__1_1_3_2_3_3_3_1 ADJ n8_a_voyager__1_1_3_2_3_3_3->n8_a_voyager__1_1_3_2_3_3_3_1 n8_a_voyager__1_1_3_2_3_3_3_1->n8_a_voyager__1_1_3_2_3_3_3_1_1 n8_a_voyager__1_1_3_2_3_3_4->n8_a_voyager__1_1_3_2_3_3_4_1 n8_a_voyager__1_2->n8_a_voyager__1_2_1 
( (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))