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

arc(r_0012_0001__If,r_0012_0007__and,restriction).
arc(r_0012_0001__If,r_0012_0014__here_r_0012_0015__is,scope).
arc(r_0012_0002__one_r_0012_0004__civilization,r_0012_0003__such,attrib).
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,inv_arg1).
arc(r_0012_0011__recorded,z_0012_5007___star_,arg0).
arc(r_0012_0014__here_r_0012_0015__is,r_0012_0017__message,arg0).
arc(r_0012_0017__message,r_0012_0016__our,gen).

fof(formula,axiom,
    ! [R_0012_0007__AND,R_0012_0003__SUCH,R_0012_0002__ONE_R_0012_0004__CIVILIZATION,R_0012_0006__VOYAGER,R_0012_0005__INTERCEPTS,Z_0012_5007___STAR_,R_0012_0011__RECORDED,R_0012_0010__THESE_R_0012_0012__CONTENTS,R_0012_0008__CAN_R_0012_0009__UNDERSTAND] :
      ( ( r_0012_0003__such(R_0012_0003__SUCH)
        & r_0012_0006__Voyager(R_0012_0006__VOYAGER)
        & z_0012_5007___star_(Z_0012_5007___STAR_)
        & 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)
        & r_0012_0010__these_r_0012_0012__contents(R_0012_0010__THESE_R_0012_0012__CONTENTS)
        & has_inv_arg1(R_0012_0010__THESE_R_0012_0012__CONTENTS,R_0012_0011__RECORDED)
        & r_0012_0011__recorded(R_0012_0011__RECORDED)
        & has_arg0(R_0012_0011__RECORDED,Z_0012_5007___STAR_)
        & 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_attrib(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_0016__OUR,R_0012_0017__MESSAGE,R_0012_0014__HERE_R_0012_0015__IS] :
          ( r_0012_0016__our(R_0012_0016__OUR)
          & r_0012_0014__here_r_0012_0015__is(R_0012_0014__HERE_R_0012_0015__IS)
          & has_arg0(R_0012_0014__HERE_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) ) ) ).