Context                Previous, Next                Top


12_a_voyager
If one such civilization intercepts Voyager and can understand these recorded contents, here is our message:

%3 r_0012_0001__If If r_0012_0007__and and r_0012_0001__If->r_0012_0007__and [restriction] r_0012_0015__is is r_0012_0001__If->r_0012_0015__is [scope] r_0012_0005__intercepts intercepts r_0012_0007__and->r_0012_0005__intercepts [conj1] r_0012_0008__can can r_0012_0007__and->r_0012_0008__can [conj2] r_0012_0014__here here r_0012_0015__is->r_0012_0014__here [clr] r_0012_0017__message message r_0012_0015__is->r_0012_0017__message [arg0] r_0012_0002__one_r_0012_0004__civilization one civilization r_0012_0003__such such r_0012_0002__one_r_0012_0004__civilization->r_0012_0003__such [attrib] r_0012_0005__intercepts->r_0012_0002__one_r_0012_0004__civilization [arg0] r_0012_0006__Voyager Voyager r_0012_0005__intercepts->r_0012_0006__Voyager [arg1] r_0012_0009__understand understand r_0012_0008__can->r_0012_0009__understand [scope] r_0012_0009__understand->r_0012_0002__one_r_0012_0004__civilization [arg0] r_0012_0010__these_r_0012_0012__contents these contents r_0012_0009__understand->r_0012_0010__these_r_0012_0012__contents [arg1] r_0012_0011__recorded recorded r_0012_0011__recorded->r_0012_0010__these_r_0012_0012__contents [arg1] z_000_12_a_voyager_34 r_0012_0011__recorded->z_000_12_a_voyager_34 [arg0] r_0012_0016__our our r_0012_0017__message->r_0012_0016__our [gen] 
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).


%3 r_0012_0001__If If r_0012_0007__and and r_0012_0001__If->r_0012_0007__and [restriction] r_0012_0015__is is r_0012_0001__If->r_0012_0015__is [scope] r_0012_0005__intercepts intercepts r_0012_0007__and->r_0012_0005__intercepts [conj1] r_0012_0008__can_r_0012_0009__understand can understand r_0012_0007__and->r_0012_0008__can_r_0012_0009__understand [conj2] r_0012_0014__here here r_0012_0015__is->r_0012_0014__here [clr] r_0012_0017__message message r_0012_0015__is->r_0012_0017__message [arg0] r_0012_0002__one_r_0012_0004__civilization one civilization r_0012_0003__such such r_0012_0002__one_r_0012_0004__civilization->r_0012_0003__such [attrib] r_0012_0005__intercepts->r_0012_0002__one_r_0012_0004__civilization [arg0] r_0012_0006__Voyager Voyager r_0012_0005__intercepts->r_0012_0006__Voyager [arg1] r_0012_0008__can_r_0012_0009__understand->r_0012_0002__one_r_0012_0004__civilization [arg0] r_0012_0010__these_r_0012_0012__contents these contents r_0012_0008__can_r_0012_0009__understand->r_0012_0010__these_r_0012_0012__contents [arg1] r_0012_0011__recorded recorded r_0012_0011__recorded->r_0012_0010__these_r_0012_0012__contents [arg1] z_000_12_a_voyager_34 r_0012_0011__recorded->z_000_12_a_voyager_34 [arg0] r_0012_0016__our our r_0012_0017__message->r_0012_0016__our [gen] 
fof(formula,axiom,
    ? [R_12_11_RECORDED,Z_12_A_VOYAGER_34,R_12_10_THESE_CONTENTS] :
      ( these_contents(R_12_10_THESE_CONTENTS)
      & ! [R_12_7_AND,R_12_5_INTERCEPTS,R_12_6_VOYAGER,R_12_8_CAN_UNDERSTAND,R_12_2_ONE_CIVILIZATION,R_12_3_SUCH] :
          ( ( voyager(R_12_6_VOYAGER)
            & such(R_12_3_SUCH)
            & and(R_12_7_AND)
            & conj1(R_12_7_AND,R_12_5_INTERCEPTS)
            & intercepts(R_12_5_INTERCEPTS,R_12_2_ONE_CIVILIZATION,R_12_6_VOYAGER)
            & one_civilization(R_12_2_ONE_CIVILIZATION)
            & attrib9(R_12_2_ONE_CIVILIZATION,R_12_3_SUCH)
            & conj2(R_12_7_AND,R_12_8_CAN_UNDERSTAND)
            & can_understand(R_12_8_CAN_UNDERSTAND,R_12_2_ONE_CIVILIZATION,R_12_10_THESE_CONTENTS) )
         => ? [R_12_15_IS,R_12_17_MESSAGE,R_12_16_OUR,R_12_14_HERE] :
              ( our(R_12_16_OUR)
              & here(R_12_14_HERE)
              & is(R_12_15_IS,R_12_17_MESSAGE)
              & message(R_12_17_MESSAGE)
              & gen(R_12_17_MESSAGE,R_12_16_OUR)
              & clr42(R_12_15_IS,R_12_14_HERE) ) )
      & recorded(R_12_11_RECORDED,Z_12_A_VOYAGER_34,R_12_10_THESE_CONTENTS) ) ).


n12_a_voyager n12_a_voyager_4 If n12_a_voyager_8 one n12_a_voyager_11 such n12_a_voyager_13 civilization n12_a_voyager_17 intercepts n12_a_voyager_20 Voyager n12_a_voyager_23 and n12_a_voyager_26 can n12_a_voyager_29 understand n12_a_voyager_32 these n12_a_voyager_35 * n12_a_voyager_37 recorded n12_a_voyager_39 contents n12_a_voyager_41 , n12_a_voyager_44 here n12_a_voyager_46 is n12_a_voyager_50 our n12_a_voyager_52 message n12_a_voyager_54 : n12_a_voyager_1 IP-MAT n12_a_voyager_2 PP-SCON n12_a_voyager_1->n12_a_voyager_2 n12_a_voyager_40 PUNC n12_a_voyager_1->n12_a_voyager_40 n12_a_voyager_42 ADVP-TPC-CLR n12_a_voyager_1->n12_a_voyager_42 n12_a_voyager_45 BEP;_Ip_ n12_a_voyager_1->n12_a_voyager_45 n12_a_voyager_47 NP-SBJ n12_a_voyager_1->n12_a_voyager_47 n12_a_voyager_53 PUNC n12_a_voyager_1->n12_a_voyager_53 n12_a_voyager_3 P-CONN n12_a_voyager_2->n12_a_voyager_3 n12_a_voyager_5 IP-ADV n12_a_voyager_2->n12_a_voyager_5 n12_a_voyager_3->n12_a_voyager_4 n12_a_voyager_6 NP-SBJ n12_a_voyager_5->n12_a_voyager_6 n12_a_voyager_14 ILYR n12_a_voyager_5->n12_a_voyager_14 n12_a_voyager_7 D n12_a_voyager_6->n12_a_voyager_7 n12_a_voyager_9 ADJP n12_a_voyager_6->n12_a_voyager_9 n12_a_voyager_12 N n12_a_voyager_6->n12_a_voyager_12 n12_a_voyager_7->n12_a_voyager_8 n12_a_voyager_10 ADJ;_such_ n12_a_voyager_9->n12_a_voyager_10 n12_a_voyager_10->n12_a_voyager_11 n12_a_voyager_12->n12_a_voyager_13 n12_a_voyager_15 ILYR n12_a_voyager_14->n12_a_voyager_15 n12_a_voyager_21 CONJP n12_a_voyager_14->n12_a_voyager_21 n12_a_voyager_16 VBP;_Tn_ n12_a_voyager_15->n12_a_voyager_16 n12_a_voyager_18 NP-OB1 n12_a_voyager_15->n12_a_voyager_18 n12_a_voyager_16->n12_a_voyager_17 n12_a_voyager_19 NPR n12_a_voyager_18->n12_a_voyager_19 n12_a_voyager_19->n12_a_voyager_20 n12_a_voyager_22 CONJ n12_a_voyager_21->n12_a_voyager_22 n12_a_voyager_24 ILYR n12_a_voyager_21->n12_a_voyager_24 n12_a_voyager_22->n12_a_voyager_23 n12_a_voyager_25 MD;_cat_Vi_ n12_a_voyager_24->n12_a_voyager_25 n12_a_voyager_27 IP-INF-CAT n12_a_voyager_24->n12_a_voyager_27 n12_a_voyager_25->n12_a_voyager_26 n12_a_voyager_28 VB;_Tn_ n12_a_voyager_27->n12_a_voyager_28 n12_a_voyager_30 NP-OB1 n12_a_voyager_27->n12_a_voyager_30 n12_a_voyager_28->n12_a_voyager_29 n12_a_voyager_31 D n12_a_voyager_30->n12_a_voyager_31 n12_a_voyager_33 IP-PPL n12_a_voyager_30->n12_a_voyager_33 n12_a_voyager_38 NS n12_a_voyager_30->n12_a_voyager_38 n12_a_voyager_31->n12_a_voyager_32 n12_a_voyager_34 NP-LGS n12_a_voyager_33->n12_a_voyager_34 n12_a_voyager_36 VVN;_Tn_ n12_a_voyager_33->n12_a_voyager_36 n12_a_voyager_34->n12_a_voyager_35 n12_a_voyager_36->n12_a_voyager_37 n12_a_voyager_38->n12_a_voyager_39 n12_a_voyager_40->n12_a_voyager_41 n12_a_voyager_43 ADV n12_a_voyager_42->n12_a_voyager_43 n12_a_voyager_43->n12_a_voyager_44 n12_a_voyager_45->n12_a_voyager_46 n12_a_voyager_48 NP-GEN n12_a_voyager_47->n12_a_voyager_48 n12_a_voyager_51 N n12_a_voyager_47->n12_a_voyager_51 n12_a_voyager_49 PRO;_genm_ n12_a_voyager_48->n12_a_voyager_49 n12_a_voyager_49->n12_a_voyager_50 n12_a_voyager_51->n12_a_voyager_52 n12_a_voyager_53->n12_a_voyager_54 
( (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))