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_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) ) ).

( (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))