77_a_voice_of_america
The European Space Agency says it has received the first images and scientific readings from the surface of Saturn's moon Titan.
( (IP-MAT (NP-SBJ;{ESA} (D The;{the})
(NPR European;{European})
(NPR Space;{Space})
(NPR Agency;{Agency}))
(VBP;_Tf_ says;{say})
(CP-THT-OB1 (IP-SUB (NP-SBJ;{ESA} (PRO it;{it}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_Tn.pr_ received;{receive[from]})
(NP-OB1 (D the;{the})
(NUM first;{first})
(NLYR (NLYR (NLYR (NS images;{image}))
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJ scientific;{scientific}))
(NS readings;{reading}))))))
(PP-CLR (P-ROLE from;{from})
(NP (D the;{the})
(N surface;{surface})
(PP (P-ROLE of;{of})
(NP (PRN (NP (NP-GEN (NPR Saturn;{Saturn})
(GENM <apos>s))
(N moon;{moon})))
(NPR Titan;{Titan}))))))))
(PUNC .))
(ID 77_a_voice_of_america;p00d0309))
arc(r_0077_0005__says,r_0077_0001__The_r_0077_0002__European_r_0077_0003__Space_r_0077_0004__Agency,arg0).
arc(r_0077_0005__says,r_0077_0007__has,arg1).
arc(r_0077_0007__has,r_0077_0008__received_r_0077_0015__from,scope).
arc(r_0077_0008__received_r_0077_0015__from,r_0077_0001__The_r_0077_0002__European_r_0077_0003__Space_r_0077_0004__Agency,arg0).
arc(r_0077_0008__received_r_0077_0015__from,r_0077_0009__the_r_0077_0010__first_r_0077_0011__images_r_0077_0012__and_r_0077_0013__scientific_r_0077_0014__readings,arg1).
arc(r_0077_0008__received_r_0077_0015__from,r_0077_0016__the_r_0077_0017__surface,arg2).
arc(r_0077_0016__the_r_0077_0017__surface,r_0077_0022__Titan,r_0077_0018__of).
arc(r_0077_0021__moon,r_0077_0019__Saturn,gen).
arc(z_0077_5007,r_0077_0021__moon,prd).
arc(z_0077_5007,r_0077_0022__Titan,arg0).
fof(formula,axiom,
? [R_0077_0001__THE_R_0077_0002__EUROPEAN_R_0077_0003__SPACE_R_0077_0004__AGENCY,R_0077_0009__THE_R_0077_0010__FIRST_R_0077_0011__IMAGES_R_0077_0012__AND_R_0077_0013__SCIENTIFIC_R_0077_0014__READINGS,R_0077_0022__TITAN,R_0077_0016__THE_R_0077_0017__SURFACE,R_0077_0007__HAS_R_0077_0008__RECEIVED_R_0077_0015__FROM,R_0077_0005__SAYS,R_0077_0019__SATURN,R_0077_0021__MOON,Z_0077_5007] :
( r_0077_0001__The_r_0077_0002__European_r_0077_0003__Space_r_0077_0004__Agency(R_0077_0001__THE_R_0077_0002__EUROPEAN_R_0077_0003__SPACE_R_0077_0004__AGENCY)
& r_0077_0009__the_r_0077_0010__first_r_0077_0011__images_r_0077_0012__and_r_0077_0013__scientific_r_0077_0014__readings(R_0077_0009__THE_R_0077_0010__FIRST_R_0077_0011__IMAGES_R_0077_0012__AND_R_0077_0013__SCIENTIFIC_R_0077_0014__READINGS)
& r_0077_0019__Saturn(R_0077_0019__SATURN)
& r_0077_0022__Titan(R_0077_0022__TITAN)
& z_0077_5007(Z_0077_5007)
& has_arg0(Z_0077_5007,R_0077_0022__TITAN)
& has_prd(Z_0077_5007,R_0077_0021__MOON)
& r_0077_0021__moon(R_0077_0021__MOON)
& has_gen(R_0077_0021__MOON,R_0077_0019__SATURN)
& r_0077_0005__says(R_0077_0005__SAYS)
& has_arg1(R_0077_0005__SAYS,R_0077_0007__HAS_R_0077_0008__RECEIVED_R_0077_0015__FROM)
& r_0077_0007__has_r_0077_0008__received_r_0077_0015__from(R_0077_0007__HAS_R_0077_0008__RECEIVED_R_0077_0015__FROM)
& has_arg2(R_0077_0007__HAS_R_0077_0008__RECEIVED_R_0077_0015__FROM,R_0077_0016__THE_R_0077_0017__SURFACE)
& r_0077_0016__the_r_0077_0017__surface(R_0077_0016__THE_R_0077_0017__SURFACE)
& has_r_0077_0018__of(R_0077_0016__THE_R_0077_0017__SURFACE,R_0077_0022__TITAN)
& has_arg1(R_0077_0007__HAS_R_0077_0008__RECEIVED_R_0077_0015__FROM,R_0077_0009__THE_R_0077_0010__FIRST_R_0077_0011__IMAGES_R_0077_0012__AND_R_0077_0013__SCIENTIFIC_R_0077_0014__READINGS)
& has_arg0(R_0077_0007__HAS_R_0077_0008__RECEIVED_R_0077_0015__FROM,R_0077_0001__THE_R_0077_0002__EUROPEAN_R_0077_0003__SPACE_R_0077_0004__AGENCY)
& has_arg0(R_0077_0005__SAYS,R_0077_0001__THE_R_0077_0002__EUROPEAN_R_0077_0003__SPACE_R_0077_0004__AGENCY) ) ).