Context                Previous, Next                Top


2_a_voyager
Voyager Spacecraft Statement by the President.

%3 z_000_2_a_voyager_1 r_0002_0001__Voyager_r_0002_0002__Spacecraft_r_0002_0003__Statement Voyager Spacecraft Statement z_000_2_a_voyager_1->r_0002_0001__Voyager_r_0002_0002__Spacecraft_r_0002_0003__Statement [nim] r_0002_0005__the_r_0002_0006__President the President z_000_2_a_voyager_1->r_0002_0005__the_r_0002_0006__President by [nim] 
arc(z_000_2_a_voyager_1, r_0002_0001__Voyager_r_0002_0002__Spacecraft_r_0002_0003__Statement, nim2).
arc(z_000_2_a_voyager_1, r_0002_0005__the_r_0002_0006__President, r_0002_0004__by_nim12).


%3 z_000_2_a_voyager_1 r_0002_0005__the_r_0002_0006__President the President z_000_2_a_voyager_1->r_0002_0005__the_r_0002_0006__President by [nim] r_0002_0001__Voyager_r_0002_0002__Spacecraft_r_0002_0003__Statement Voyager Spacecraft Statement z_000_2_a_voyager_1->r_0002_0001__Voyager_r_0002_0002__Spacecraft_r_0002_0003__Statement [nim] 
fof(formula,axiom,
    ? [R_0002_0001__VOYAGER_R_0002_0002__SPACECRAFT_R_0002_0003__STATEMENT,R_0002_0005__THE_R_0002_0006__PRESIDENT,Z_000_2_A_VOYAGER_1] :
      ( r_0002_0001__Voyager_r_0002_0002__Spacecraft_r_0002_0003__Statement(R_0002_0001__VOYAGER_R_0002_0002__SPACECRAFT_R_0002_0003__STATEMENT)
      & r_0002_0005__the_r_0002_0006__President(R_0002_0005__THE_R_0002_0006__PRESIDENT)
      & z_000_2_a_voyager_1(Z_000_2_A_VOYAGER_1)
      & has_r_0002_0004__by_nim12(Z_000_2_A_VOYAGER_1,R_0002_0005__THE_R_0002_0006__PRESIDENT)
      & has_nim2(Z_000_2_A_VOYAGER_1,R_0002_0001__VOYAGER_R_0002_0002__SPACECRAFT_R_0002_0003__STATEMENT) ) ).


n2_a_voyager n2_a_voyager__1_1_1_1 Voyager n2_a_voyager__1_1_2_1 Spacecraft n2_a_voyager__1_1_3_1 Statement n2_a_voyager__1_2_1_1 by n2_a_voyager__1_2_2_1_1 the n2_a_voyager__1_2_2_2_1 President n2_a_voyager__1_3_1 . n2_a_voyager__1 FRAG n2_a_voyager__1_1 NP n2_a_voyager__1->n2_a_voyager__1_1 n2_a_voyager__1_2 PP n2_a_voyager__1->n2_a_voyager__1_2 n2_a_voyager__1_3 PUNC n2_a_voyager__1->n2_a_voyager__1_3 n2_a_voyager__1_1_1 NPR n2_a_voyager__1_1->n2_a_voyager__1_1_1 n2_a_voyager__1_1_2 NPR n2_a_voyager__1_1->n2_a_voyager__1_1_2 n2_a_voyager__1_1_3 N n2_a_voyager__1_1->n2_a_voyager__1_1_3 n2_a_voyager__1_1_1->n2_a_voyager__1_1_1_1 n2_a_voyager__1_1_2->n2_a_voyager__1_1_2_1 n2_a_voyager__1_1_3->n2_a_voyager__1_1_3_1 n2_a_voyager__1_2_1 P-ROLE n2_a_voyager__1_2->n2_a_voyager__1_2_1 n2_a_voyager__1_2_2 NP n2_a_voyager__1_2->n2_a_voyager__1_2_2 n2_a_voyager__1_2_1->n2_a_voyager__1_2_1_1 n2_a_voyager__1_2_2_1 D n2_a_voyager__1_2_2->n2_a_voyager__1_2_2_1 n2_a_voyager__1_2_2_2 N n2_a_voyager__1_2_2->n2_a_voyager__1_2_2_2 n2_a_voyager__1_2_2_1->n2_a_voyager__1_2_2_1_1 n2_a_voyager__1_2_2_2->n2_a_voyager__1_2_2_2_1 n2_a_voyager__1_3->n2_a_voyager__1_3_1 
( (FRAG (NP (NPR Voyager;{Voyager})
            (NPR Spacecraft;{Spacecraft})
            (N Statement;{statement}))
        (PP (P-ROLE by;{by})
            (NP (D the;{the})
                (N President;{president})))
        (PUNC .))
  (ID 2_a_voyager))