12_a_voyager
If one such civilization intercepts Voyager and can understand these recorded contents, here is our message:
arc(r_0012_0001__If, r_0012_0007__and, restriction).
arc(r_0012_0001__If, r_0012_0015__is, scope).
arc(r_0012_0002__one_r_0012_0004__civilization, r_0012_0003__such, attrib9).
arc(r_0012_0005__intercepts, r_0012_0002__one_r_0012_0004__civilization, arg0).
arc(r_0012_0005__intercepts, r_0012_0006__Voyager, arg1).
arc(r_0012_0007__and, r_0012_0005__intercepts, conj1).
arc(r_0012_0007__and, r_0012_0008__can, conj2).
arc(r_0012_0008__can, r_0012_0009__understand, scope).
arc(r_0012_0009__understand, r_0012_0002__one_r_0012_0004__civilization, arg0).
arc(r_0012_0009__understand, r_0012_0010__these_r_0012_0012__contents, arg1).
arc(r_0012_0011__recorded, r_0012_0010__these_r_0012_0012__contents, arg1).
arc(r_0012_0011__recorded, z_000_12_a_voyager_34, arg0).
arc(r_0012_0015__is, r_0012_0014__here, clr42).
arc(r_0012_0015__is, r_0012_0017__message, arg0).
arc(r_0012_0017__message, r_0012_0016__our, gen).
fof(formula,axiom,
? [R_0012_0010__THESE_R_0012_0012__CONTENTS,Z_000_12_A_VOYAGER_34,R_0012_0011__RECORDED] :
( r_0012_0010__these_r_0012_0012__contents(R_0012_0010__THESE_R_0012_0012__CONTENTS)
& z_000_12_a_voyager_34(Z_000_12_A_VOYAGER_34)
& r_0012_0011__recorded(R_0012_0011__RECORDED)
& has_arg0(R_0012_0011__RECORDED,Z_000_12_A_VOYAGER_34)
& has_arg1(R_0012_0011__RECORDED,R_0012_0010__THESE_R_0012_0012__CONTENTS)
& ! [R_0012_0007__AND,R_0012_0003__SUCH,R_0012_0002__ONE_R_0012_0004__CIVILIZATION,R_0012_0006__VOYAGER,R_0012_0005__INTERCEPTS,R_0012_0008__CAN_R_0012_0009__UNDERSTAND] :
( ( r_0012_0003__such(R_0012_0003__SUCH)
& r_0012_0006__Voyager(R_0012_0006__VOYAGER)
& r_0012_0007__and(R_0012_0007__AND)
& has_conj2(R_0012_0007__AND,R_0012_0008__CAN_R_0012_0009__UNDERSTAND)
& r_0012_0008__can_r_0012_0009__understand(R_0012_0008__CAN_R_0012_0009__UNDERSTAND)
& has_arg1(R_0012_0008__CAN_R_0012_0009__UNDERSTAND,R_0012_0010__THESE_R_0012_0012__CONTENTS)
& has_arg0(R_0012_0008__CAN_R_0012_0009__UNDERSTAND,R_0012_0002__ONE_R_0012_0004__CIVILIZATION)
& r_0012_0002__one_r_0012_0004__civilization(R_0012_0002__ONE_R_0012_0004__CIVILIZATION)
& has_attrib9(R_0012_0002__ONE_R_0012_0004__CIVILIZATION,R_0012_0003__SUCH)
& has_conj1(R_0012_0007__AND,R_0012_0005__INTERCEPTS)
& r_0012_0005__intercepts(R_0012_0005__INTERCEPTS)
& has_arg1(R_0012_0005__INTERCEPTS,R_0012_0006__VOYAGER)
& has_arg0(R_0012_0005__INTERCEPTS,R_0012_0002__ONE_R_0012_0004__CIVILIZATION) )
=> ? [R_0012_0014__HERE,R_0012_0016__OUR,R_0012_0017__MESSAGE,R_0012_0015__IS] :
( r_0012_0014__here(R_0012_0014__HERE)
& r_0012_0016__our(R_0012_0016__OUR)
& r_0012_0015__is(R_0012_0015__IS)
& has_arg0(R_0012_0015__IS,R_0012_0017__MESSAGE)
& r_0012_0017__message(R_0012_0017__MESSAGE)
& has_gen(R_0012_0017__MESSAGE,R_0012_0016__OUR)
& has_clr42(R_0012_0015__IS,R_0012_0014__HERE) ) ) ) ).
( (IP-MAT (PP-SCON (P-CONN If;{if})
(IP-ADV (NP-SBJ (D one;{one})
(ADJP (ADJ;_such_ such;{such}))
(N civilization;{civilization}))
(ILYR (ILYR (VBP;_Tn_ intercepts;{intercept})
(NP-OB1 (NPR Voyager;{Voyager})))
(CONJP (CONJ and;{and})
(ILYR (MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_Tn_ understand;{understand})
(NP-OB1 (D these;{these})
(IP-PPL (NP-LGS *)
(VVN;_Tn_ recorded;{record}))
(NS contents;{content}))))))))
(PUNC ,)
(ADVP-TPC-CLR (ADV here;{here}))
(BEP;_Ip_ is;{be})
(NP-SBJ (NP-GEN;{HUMANS} (PRO;_genm_ our;{our}))
(N message;{message}))
(PUNC :))
(ID 12_a_voyager))