80_a_voice_of_america
The space probe began transmitting data to the Cassini spacecraft while landing on Saturn's largest moon earlier Friday.
( (IP-MAT (NP-SBJ (D The;{the})
(N space;{space})
(N probe;{probe}))
(VBD;_cat_Vg_ began;{begin})
(IP-PPL-CAT (VAG;_Tn.pr_ transmitting;{transmit[to]})
(NP-OB1 (NS data;{data}))
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(NPR Cassini;{Cassini})
(N spacecraft;{spacecraft}))))
(PP-SCON (P-CONN while;{while})
(IP-PPL (VAG;_I_ landing;{land})
(PP-NIM (P-ROLE on;{on})
(NP (NP-GEN (NPR Saturn;{Saturn})
(GENM <apos>s))
(ADJP (ADJS largest;{large}))
(N moon;{moon})))
(ADVP-NIM (ADVR earlier;{early})
(NP (NPR Friday;{Friday})))))
(PUNC .))
(ID 80_a_voice_of_america;p00d0309))
arc(r_0080_0004__began,r_0080_0005__transmitting_r_0080_0007__to,scope).
arc(r_0080_0005__transmitting_r_0080_0007__to,r_0080_0001__The_r_0080_0002__space_r_0080_0003__probe,arg0).
arc(r_0080_0005__transmitting_r_0080_0007__to,r_0080_0006__data,arg1).
arc(r_0080_0005__transmitting_r_0080_0007__to,r_0080_0008__the_r_0080_0009__Cassini_r_0080_0010__spacecraft,arg2).
arc(r_0080_0011__while,r_0080_0004__began,scope).
arc(r_0080_0011__while,r_0080_0012__landing,restriction).
arc(r_0080_0012__landing,r_0080_0001__The_r_0080_0002__space_r_0080_0003__probe,arg0).
arc(r_0080_0012__landing,r_0080_0017__moon,r_0080_0013__on__nim).
arc(r_0080_0012__landing,r_0080_0018__earlier,nim).
arc(r_0080_0017__moon,r_0080_0014__Saturn,gen).
arc(r_0080_0017__moon,r_0080_0016__largest,attrib).
arc(r_0080_0018__earlier,r_0080_0019__Friday,nim).
fof(formula,axiom,
? [R_0080_0001__THE_R_0080_0002__SPACE_R_0080_0003__PROBE,R_0080_0006__DATA,R_0080_0008__THE_R_0080_0009__CASSINI_R_0080_0010__SPACECRAFT,R_0080_0004__BEGAN_R_0080_0005__TRANSMITTING_R_0080_0007__TO,R_0080_0014__SATURN,R_0080_0016__LARGEST,R_0080_0017__MOON,R_0080_0019__FRIDAY,R_0080_0018__EARLIER,R_0080_0012__LANDING,R_0080_0011__WHILE] :
( r_0080_0001__The_r_0080_0002__space_r_0080_0003__probe(R_0080_0001__THE_R_0080_0002__SPACE_R_0080_0003__PROBE)
& r_0080_0006__data(R_0080_0006__DATA)
& r_0080_0008__the_r_0080_0009__Cassini_r_0080_0010__spacecraft(R_0080_0008__THE_R_0080_0009__CASSINI_R_0080_0010__SPACECRAFT)
& r_0080_0014__Saturn(R_0080_0014__SATURN)
& r_0080_0016__largest(R_0080_0016__LARGEST)
& r_0080_0019__Friday(R_0080_0019__FRIDAY)
& r_0080_0011__while(R_0080_0011__WHILE)
& has_conj1(R_0080_0011__WHILE,R_0080_0012__LANDING)
& r_0080_0012__landing(R_0080_0012__LANDING)
& has_nim(R_0080_0012__LANDING,R_0080_0018__EARLIER)
& r_0080_0018__earlier(R_0080_0018__EARLIER)
& has_nim(R_0080_0018__EARLIER,R_0080_0019__FRIDAY)
& has_r_0080_0013__on__nim(R_0080_0012__LANDING,R_0080_0017__MOON)
& r_0080_0017__moon(R_0080_0017__MOON)
& has_attrib(R_0080_0017__MOON,R_0080_0016__LARGEST)
& has_gen(R_0080_0017__MOON,R_0080_0014__SATURN)
& has_arg0(R_0080_0012__LANDING,R_0080_0001__THE_R_0080_0002__SPACE_R_0080_0003__PROBE)
& has_conj2(R_0080_0011__WHILE,R_0080_0004__BEGAN_R_0080_0005__TRANSMITTING_R_0080_0007__TO)
& r_0080_0004__began_r_0080_0005__transmitting_r_0080_0007__to(R_0080_0004__BEGAN_R_0080_0005__TRANSMITTING_R_0080_0007__TO)
& has_arg2(R_0080_0004__BEGAN_R_0080_0005__TRANSMITTING_R_0080_0007__TO,R_0080_0008__THE_R_0080_0009__CASSINI_R_0080_0010__SPACECRAFT)
& has_arg1(R_0080_0004__BEGAN_R_0080_0005__TRANSMITTING_R_0080_0007__TO,R_0080_0006__DATA)
& has_arg0(R_0080_0004__BEGAN_R_0080_0005__TRANSMITTING_R_0080_0007__TO,R_0080_0001__THE_R_0080_0002__SPACE_R_0080_0003__PROBE) ) ).