6_a_voyager
This Voyager spacecraft was constructed by the United States of 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))
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,r_0006_0006__by_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_0006_0001__THIS_R_0006_0002__VOYAGER_R_0006_0003__SPACECRAFT,R_0006_0011__AMERICA,R_0006_0007__THE_R_0006_0008__UNITED_R_0006_0009__STATES,R_0006_0004__WAS_R_0006_0005__CONSTRUCTED] :
( r_0006_0001__This_r_0006_0002__Voyager_r_0006_0003__spacecraft(R_0006_0001__THIS_R_0006_0002__VOYAGER_R_0006_0003__SPACECRAFT)
& r_0006_0011__America(R_0006_0011__AMERICA)
& r_0006_0004__was_r_0006_0005__constructed(R_0006_0004__WAS_R_0006_0005__CONSTRUCTED)
& has_r_0006_0006__by_arg0(R_0006_0004__WAS_R_0006_0005__CONSTRUCTED,R_0006_0007__THE_R_0006_0008__UNITED_R_0006_0009__STATES)
& r_0006_0007__the_r_0006_0008__United_r_0006_0009__States(R_0006_0007__THE_R_0006_0008__UNITED_R_0006_0009__STATES)
& has_r_0006_0010__of(R_0006_0007__THE_R_0006_0008__UNITED_R_0006_0009__STATES,R_0006_0011__AMERICA)
& has_arg1(R_0006_0004__WAS_R_0006_0005__CONSTRUCTED,R_0006_0001__THIS_R_0006_0002__VOYAGER_R_0006_0003__SPACECRAFT) ) ).