( (IP-MAT (NP-SBJ (D The;{the})
                  (N statement;{statement}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ recorded;{record[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (ADJP (ADJ electronic;{electronic}))
                                  (NS impulses;{impulse})
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (MD;_cat_Vi_ can;{can})
                                          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                      (IP-PPL-CAT (NP-LGS *)
                                                                  (VVN;_Tn.pr_ converted;{convert[into]})
                                                                  (PP-CLR (P-ROLE into;{into})
                                                                          (NP (IP-PPL (NP-LGS *)
                                                                                      (VVN;_Tn_ printed;{print}))
                                                                              (NS words;{word})))))))))
          (PUNC .))
  (ID 5_a_voyager))

arc(r_0005_0003__is,r_0005_0004__recorded_r_0005_0005__in,scope).
arc(r_0005_0004__recorded_r_0005_0005__in,r_0005_0001__The_r_0005_0002__statement,arg1).
arc(r_0005_0004__recorded_r_0005_0005__in,r_0005_0007__impulses,arg2).
arc(r_0005_0004__recorded_r_0005_0005__in,z_0005_5014___star_,arg0).
arc(r_0005_0007__impulses,r_0005_0006__electronic,attrib).
arc(r_0005_0009__can,r_0005_0010__be,scope).
arc(r_0005_0010__be,r_0005_0011__converted_r_0005_0012__into,scope).
arc(r_0005_0011__converted_r_0005_0012__into,r_0005_0007__impulses,arg1).
arc(r_0005_0011__converted_r_0005_0012__into,r_0005_0014__words,arg2).
arc(r_0005_0011__converted_r_0005_0012__into,z_0005_5010___star_,arg0).
arc(r_0005_0013__printed,r_0005_0014__words,inv_arg1).
arc(r_0005_0013__printed,z_0005_5008___star_,arg0).

fof(formula,axiom,
    ? [R_0005_0001__THE_R_0005_0002__STATEMENT,R_0005_0006__ELECTRONIC,R_0005_0007__IMPULSES,Z_0005_5014___STAR_,R_0005_0003__IS_R_0005_0004__RECORDED_R_0005_0005__IN,Z_0005_5008___STAR_,R_0005_0013__PRINTED,R_0005_0014__WORDS,Z_0005_5010___STAR_,R_0005_0009__CAN_R_0005_0010__BE_R_0005_0011__CONVERTED_R_0005_0012__INTO] :
      ( r_0005_0001__The_r_0005_0002__statement(R_0005_0001__THE_R_0005_0002__STATEMENT)
      & r_0005_0006__electronic(R_0005_0006__ELECTRONIC)
      & z_0005_5008___star_(Z_0005_5008___STAR_)
      & z_0005_5010___star_(Z_0005_5010___STAR_)
      & z_0005_5014___star_(Z_0005_5014___STAR_)
      & r_0005_0009__can_r_0005_0010__be_r_0005_0011__converted_r_0005_0012__into(R_0005_0009__CAN_R_0005_0010__BE_R_0005_0011__CONVERTED_R_0005_0012__INTO)
      & has_arg0(R_0005_0009__CAN_R_0005_0010__BE_R_0005_0011__CONVERTED_R_0005_0012__INTO,Z_0005_5010___STAR_)
      & has_arg2(R_0005_0009__CAN_R_0005_0010__BE_R_0005_0011__CONVERTED_R_0005_0012__INTO,R_0005_0014__WORDS)
      & r_0005_0014__words(R_0005_0014__WORDS)
      & has_inv_arg1(R_0005_0014__WORDS,R_0005_0013__PRINTED)
      & r_0005_0013__printed(R_0005_0013__PRINTED)
      & has_arg0(R_0005_0013__PRINTED,Z_0005_5008___STAR_)
      & has_arg1(R_0005_0009__CAN_R_0005_0010__BE_R_0005_0011__CONVERTED_R_0005_0012__INTO,R_0005_0007__IMPULSES)
      & r_0005_0007__impulses(R_0005_0007__IMPULSES)
      & has_attrib(R_0005_0007__IMPULSES,R_0005_0006__ELECTRONIC)
      & r_0005_0003__is_r_0005_0004__recorded_r_0005_0005__in(R_0005_0003__IS_R_0005_0004__RECORDED_R_0005_0005__IN)
      & has_arg0(R_0005_0003__IS_R_0005_0004__RECORDED_R_0005_0005__IN,Z_0005_5014___STAR_)
      & has_arg2(R_0005_0003__IS_R_0005_0004__RECORDED_R_0005_0005__IN,R_0005_0007__IMPULSES)
      & has_arg1(R_0005_0003__IS_R_0005_0004__RECORDED_R_0005_0005__IN,R_0005_0001__THE_R_0005_0002__STATEMENT) ) ).