80_a_voice_of_america
The space probe began transmitting data to the Cassini spacecraft while landing on Saturn's largest moon earlier Friday.
arc(r_0080_0004__began, r_0080_0005__transmitting, scope).
arc(r_0080_0005__transmitting, r_0080_0001__The_r_0080_0002__space_r_0080_0003__probe, arg0).
arc(r_0080_0005__transmitting, r_0080_0006__data, arg1).
arc(r_0080_0005__transmitting, r_0080_0008__the_r_0080_0009__Cassini_r_0080_0010__spacecraft, r_0080_0007__to_clr20).
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_nim36).
arc(r_0080_0012__landing, r_0080_0018__earlier, nim47).
arc(r_0080_0017__moon, r_0080_0014__Saturn_r_0080_0015___apos_s, gen).
arc(r_0080_0017__moon, r_0080_0016__largest, attrib42).
arc(r_0080_0018__earlier, r_0080_0019__Friday, nim50).
fof(formula,axiom,
? [R_80_11_WHILE,R_80_12_LANDING,R_80_18_EARLIER,R_80_19_FRIDAY,R_80_17_MOON,R_80_16_LARGEST,R_80_14_SATURN_APOS_S,R_80_4_BEGAN_TRANSMITTING,R_80_1_THE_SPACE_PROBE,R_80_6_DATA,R_80_8_THE_CASSINI_SPACECRAFT] :
( friday(R_80_19_FRIDAY)
& largest(R_80_16_LARGEST)
& saturn_apos_s(R_80_14_SATURN_APOS_S)
& the_space_probe(R_80_1_THE_SPACE_PROBE)
& data(R_80_6_DATA)
& the_Cassini_spacecraft(R_80_8_THE_CASSINI_SPACECRAFT)
& while(R_80_11_WHILE)
& conj1(R_80_11_WHILE,R_80_12_LANDING)
& landing(R_80_12_LANDING,R_80_1_THE_SPACE_PROBE)
& nim47(R_80_12_LANDING,R_80_18_EARLIER)
& earlier(R_80_18_EARLIER)
& nim50(R_80_18_EARLIER,R_80_19_FRIDAY)
& on_nim36(R_80_12_LANDING,R_80_17_MOON)
& moon(R_80_17_MOON)
& attrib42(R_80_17_MOON,R_80_16_LARGEST)
& gen(R_80_17_MOON,R_80_14_SATURN_APOS_S)
& conj2(R_80_11_WHILE,R_80_4_BEGAN_TRANSMITTING)
& began_transmitting(R_80_4_BEGAN_TRANSMITTING,R_80_1_THE_SPACE_PROBE,R_80_6_DATA)
& to_clr20(R_80_4_BEGAN_TRANSMITTING,R_80_8_THE_CASSINI_SPACECRAFT) ) ).
( (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))