6_a_voyager
This Voyager spacecraft was constructed by the United States of America.
arc(r_0006_0004__was, r_0006_0005__constructed, scope).
arc(r_0006_0005__constructed, r_0006_0001__This_r_0006_0002__Voyager_r_0006_0003__spacecraft, arg1).
arc(r_0006_0005__constructed, r_0006_0007__the_r_0006_0008__United_r_0006_0009__States, arg0).
arc(r_0006_0007__the_r_0006_0008__United_r_0006_0009__States, r_0006_0011__America, r_0006_0010__of).
fof(formula,axiom,
? [R_6_4_WAS_CONSTRUCTED,R_6_7_THE_UNITED_STATES,R_6_11_AMERICA,R_6_1_THIS_VOYAGER_SPACECRAFT] :
( america(R_6_11_AMERICA)
& this_Voyager_spacecraft(R_6_1_THIS_VOYAGER_SPACECRAFT)
& was_constructed(R_6_4_WAS_CONSTRUCTED,R_6_7_THE_UNITED_STATES,R_6_1_THIS_VOYAGER_SPACECRAFT)
& the_United_States(R_6_7_THE_UNITED_STATES)
& of(R_6_7_THE_UNITED_STATES,R_6_11_AMERICA) ) ).
( (IP-MAT (NP-SBJ (D This;{this})
(NPR Voyager;{Voyager})
(N spacecraft;{spacecraft}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (VVN;_Tn_ constructed;{construct})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP;{USA} (D the;{the})
(NPR United;{United})
(NPRS States;{State})
(PP (P-ROLE of;{of})
(NP (NPR America;{America}))))))
(PUNC .))
(ID 6_a_voyager))