Context                Previous, Next                Top


3_a_voyager
July 29, 1977

%3 z_000_3_a_voyager_1 r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 July 29 1977 z_000_3_a_voyager_1->r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 [nim] 
arc(z_000_3_a_voyager_1, r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977, nim2).


%3 z_000_3_a_voyager_1 r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 July 29 1977 z_000_3_a_voyager_1->r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 [nim] 
fof(formula,axiom,
    ? [Z_3_A_VOYAGER_1,R_3_1_JULY_29_1977] :
      ( july_29_1977(R_3_1_JULY_29_1977)
      & z_3_a_voyager_1(Z_3_A_VOYAGER_1)
      & nim2(Z_3_A_VOYAGER_1,R_3_1_JULY_29_1977) ) ).


n3_a_voyager n3_a_voyager_4 July n3_a_voyager_6 29 n3_a_voyager_8 , n3_a_voyager_10 1977 n3_a_voyager_1 FRAG n3_a_voyager_2 NP n3_a_voyager_1->n3_a_voyager_2 n3_a_voyager_3 NPR n3_a_voyager_2->n3_a_voyager_3 n3_a_voyager_5 NPR n3_a_voyager_2->n3_a_voyager_5 n3_a_voyager_7 PUNC n3_a_voyager_2->n3_a_voyager_7 n3_a_voyager_9 NPR n3_a_voyager_2->n3_a_voyager_9 n3_a_voyager_3->n3_a_voyager_4 n3_a_voyager_5->n3_a_voyager_6 n3_a_voyager_7->n3_a_voyager_8 n3_a_voyager_9->n3_a_voyager_10 
( (FRAG (NP (NPR July;{July})
            (NPR 29)
            (PUNC ,)
            (NPR 1977)))
  (ID 3_a_voyager))