Context                Previous, Next                Top


3_a_voyager
July 29, 1977

n3_a_voyager n3_a_voyager__1_1_1 July n3_a_voyager__1_2_1 29 n3_a_voyager__1_3_1 , n3_a_voyager__1_4_1 1977 n3_a_voyager__1 NP n3_a_voyager__1_1 NPR n3_a_voyager__1->n3_a_voyager__1_1 n3_a_voyager__1_2 NPR n3_a_voyager__1->n3_a_voyager__1_2 n3_a_voyager__1_3 PUNC n3_a_voyager__1->n3_a_voyager__1_3 n3_a_voyager__1_4 NPR n3_a_voyager__1->n3_a_voyager__1_4 n3_a_voyager__1_1->n3_a_voyager__1_1_1 n3_a_voyager__1_2->n3_a_voyager__1_2_1 n3_a_voyager__1_3->n3_a_voyager__1_3_1 n3_a_voyager__1_4->n3_a_voyager__1_4_1 
( (NP (NPR July;{July})
      (NPR 29)
      (PUNC ,)
      (NPR 1977))
  (ID 3_a_voyager))


%3 z_0003_5003 r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 July 29 1977 z_0003_5003->r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 
arc(z_0003_5003,r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977,z_0003_5002).


%3 z_0003_5003 r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 July 29 1977 z_0003_5003->r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 
fof(formula,axiom,
    ? [R_0003_0001__JULY_R_0003_0002__29_R_0003_0004__1977,Z_0003_5003] :
      ( r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977(R_0003_0001__JULY_R_0003_0002__29_R_0003_0004__1977)
      & z_0003_5003(Z_0003_5003)
      & has_z_0003_5002(Z_0003_5003,R_0003_0001__JULY_R_0003_0002__29_R_0003_0004__1977) ) ).