Context                Previous, Next                Top


5_a_voyager
The statement is recorded in electronic impulses which can be converted into printed words.

%3 r_0005_0003__is is r_0005_0004__recorded recorded r_0005_0003__is->r_0005_0004__recorded [scope] r_0005_0001__The_r_0005_0002__statement The statement r_0005_0004__recorded->r_0005_0001__The_r_0005_0002__statement [arg1] r_0005_0007__impulses impulses r_0005_0004__recorded->r_0005_0007__impulses in [clr] z_000_5_a_voyager_10 r_0005_0004__recorded->z_000_5_a_voyager_10 [arg0] r_0005_0006__electronic electronic r_0005_0007__impulses->r_0005_0006__electronic [attrib] r_0005_0009__can can r_0005_0010__be be r_0005_0009__can->r_0005_0010__be [scope] r_0005_0011__converted converted r_0005_0010__be->r_0005_0011__converted [scope] r_0005_0011__converted->r_0005_0007__impulses [arg1] r_0005_0014__words words r_0005_0011__converted->r_0005_0014__words into [clr] z_000_5_a_voyager_33 r_0005_0011__converted->z_000_5_a_voyager_33 [arg0] r_0005_0013__printed printed r_0005_0013__printed->r_0005_0014__words [arg1] z_000_5_a_voyager_42 r_0005_0013__printed->z_000_5_a_voyager_42 [arg0] 
arc(r_0005_0003__is, r_0005_0004__recorded, scope).
arc(r_0005_0004__recorded, r_0005_0001__The_r_0005_0002__statement, arg1).
arc(r_0005_0004__recorded, r_0005_0007__impulses, r_0005_0005__in_clr17).
arc(r_0005_0004__recorded, z_000_5_a_voyager_10, arg0).
arc(r_0005_0007__impulses, r_0005_0006__electronic, attrib18).
arc(r_0005_0009__can, r_0005_0010__be, scope).
arc(r_0005_0010__be, r_0005_0011__converted, scope).
arc(r_0005_0011__converted, r_0005_0007__impulses, arg1).
arc(r_0005_0011__converted, r_0005_0014__words, r_0005_0012__into_clr40).
arc(r_0005_0011__converted, z_000_5_a_voyager_33, arg0).
arc(r_0005_0013__printed, r_0005_0014__words, arg1).
arc(r_0005_0013__printed, z_000_5_a_voyager_42, arg0).


%3 r_0005_0013__printed printed z_000_5_a_voyager_42 r_0005_0013__printed->z_000_5_a_voyager_42 [arg0] r_0005_0014__words words r_0005_0013__printed->r_0005_0014__words [arg1] r_0005_0009__can_r_0005_0010__be_r_0005_0011__converted can be converted r_0005_0009__can_r_0005_0010__be_r_0005_0011__converted->r_0005_0014__words into [clr] z_000_5_a_voyager_33 r_0005_0009__can_r_0005_0010__be_r_0005_0011__converted->z_000_5_a_voyager_33 [arg0] r_0005_0007__impulses impulses r_0005_0009__can_r_0005_0010__be_r_0005_0011__converted->r_0005_0007__impulses [arg1] r_0005_0006__electronic electronic r_0005_0007__impulses->r_0005_0006__electronic [attrib] r_0005_0003__is_r_0005_0004__recorded is recorded r_0005_0003__is_r_0005_0004__recorded->r_0005_0007__impulses in [clr] z_000_5_a_voyager_10 r_0005_0003__is_r_0005_0004__recorded->z_000_5_a_voyager_10 [arg0] r_0005_0001__The_r_0005_0002__statement The statement r_0005_0003__is_r_0005_0004__recorded->r_0005_0001__The_r_0005_0002__statement [arg1] 
fof(formula,axiom,
    ? [R_5_3_IS_RECORDED,Z_5_A_VOYAGER_10,R_5_1_THE_STATEMENT,R_5_9_CAN_BE_CONVERTED,Z_5_A_VOYAGER_33,R_5_7_IMPULSES,R_5_6_ELECTRONIC,R_5_13_PRINTED,Z_5_A_VOYAGER_42,R_5_14_WORDS] :
      ( the_statement(R_5_1_THE_STATEMENT)
      & electronic(R_5_6_ELECTRONIC)
      & words(R_5_14_WORDS)
      & is_recorded(R_5_3_IS_RECORDED,Z_5_A_VOYAGER_10,R_5_1_THE_STATEMENT)
      & in_clr17(R_5_3_IS_RECORDED,R_5_7_IMPULSES)
      & impulses(R_5_7_IMPULSES)
      & attrib18(R_5_7_IMPULSES,R_5_6_ELECTRONIC)
      & can_be_converted(R_5_9_CAN_BE_CONVERTED,Z_5_A_VOYAGER_33,R_5_7_IMPULSES)
      & into_clr40(R_5_9_CAN_BE_CONVERTED,R_5_14_WORDS)
      & printed(R_5_13_PRINTED,Z_5_A_VOYAGER_42,R_5_14_WORDS) ) ).


n5_a_voyager n5_a_voyager__1_1_1_1 The n5_a_voyager__1_1_2_1 statement n5_a_voyager__1_2_1 is n5_a_voyager__1_3_1_1 * n5_a_voyager__1_3_2_1 recorded n5_a_voyager__1_3_3_1_1 in n5_a_voyager__1_3_3_2_1_1_1 electronic n5_a_voyager__1_3_3_2_2_1 impulses n5_a_voyager__1_3_3_2_3_1_1_1 which n5_a_voyager__1_3_3_2_3_2_1 can n5_a_voyager__1_3_3_2_3_3_1_1 be n5_a_voyager__1_3_3_2_3_3_2_1_1 * n5_a_voyager__1_3_3_2_3_3_2_2_1 converted n5_a_voyager__1_3_3_2_3_3_2_3_1_1 into n5_a_voyager__1_3_3_2_3_3_2_3_2_1_1_1 * n5_a_voyager__1_3_3_2_3_3_2_3_2_1_2_1 printed n5_a_voyager__1_3_3_2_3_3_2_3_2_2_1 words n5_a_voyager__1_4_1 . n5_a_voyager__1 IP-MAT n5_a_voyager__1_1 NP-SBJ n5_a_voyager__1->n5_a_voyager__1_1 n5_a_voyager__1_2 BEP;_cat_VePASS_ n5_a_voyager__1->n5_a_voyager__1_2 n5_a_voyager__1_3 IP-PPL-CAT n5_a_voyager__1->n5_a_voyager__1_3 n5_a_voyager__1_4 PUNC n5_a_voyager__1->n5_a_voyager__1_4 n5_a_voyager__1_1_1 D n5_a_voyager__1_1->n5_a_voyager__1_1_1 n5_a_voyager__1_1_2 N n5_a_voyager__1_1->n5_a_voyager__1_1_2 n5_a_voyager__1_1_1->n5_a_voyager__1_1_1_1 n5_a_voyager__1_1_2->n5_a_voyager__1_1_2_1 n5_a_voyager__1_2->n5_a_voyager__1_2_1 n5_a_voyager__1_3_1 NP-LGS n5_a_voyager__1_3->n5_a_voyager__1_3_1 n5_a_voyager__1_3_2 VVN;_Tn.pr_ n5_a_voyager__1_3->n5_a_voyager__1_3_2 n5_a_voyager__1_3_3 PP-CLR n5_a_voyager__1_3->n5_a_voyager__1_3_3 n5_a_voyager__1_3_1->n5_a_voyager__1_3_1_1 n5_a_voyager__1_3_2->n5_a_voyager__1_3_2_1 n5_a_voyager__1_3_3_1 P-ROLE n5_a_voyager__1_3_3->n5_a_voyager__1_3_3_1 n5_a_voyager__1_3_3_2 NP n5_a_voyager__1_3_3->n5_a_voyager__1_3_3_2 n5_a_voyager__1_3_3_1->n5_a_voyager__1_3_3_1_1 n5_a_voyager__1_3_3_2_1 ADJP n5_a_voyager__1_3_3_2->n5_a_voyager__1_3_3_2_1 n5_a_voyager__1_3_3_2_2 NS n5_a_voyager__1_3_3_2->n5_a_voyager__1_3_3_2_2 n5_a_voyager__1_3_3_2_3 IP-REL n5_a_voyager__1_3_3_2->n5_a_voyager__1_3_3_2_3 n5_a_voyager__1_3_3_2_1_1 ADJ n5_a_voyager__1_3_3_2_1->n5_a_voyager__1_3_3_2_1_1 n5_a_voyager__1_3_3_2_1_1->n5_a_voyager__1_3_3_2_1_1_1 n5_a_voyager__1_3_3_2_2->n5_a_voyager__1_3_3_2_2_1 n5_a_voyager__1_3_3_2_3_1 NP-SBJ n5_a_voyager__1_3_3_2_3->n5_a_voyager__1_3_3_2_3_1 n5_a_voyager__1_3_3_2_3_2 MD;_cat_Vi_ n5_a_voyager__1_3_3_2_3->n5_a_voyager__1_3_3_2_3_2 n5_a_voyager__1_3_3_2_3_3 IP-INF-CAT n5_a_voyager__1_3_3_2_3->n5_a_voyager__1_3_3_2_3_3 n5_a_voyager__1_3_3_2_3_1_1 RPRO n5_a_voyager__1_3_3_2_3_1->n5_a_voyager__1_3_3_2_3_1_1 n5_a_voyager__1_3_3_2_3_1_1->n5_a_voyager__1_3_3_2_3_1_1_1 n5_a_voyager__1_3_3_2_3_2->n5_a_voyager__1_3_3_2_3_2_1 n5_a_voyager__1_3_3_2_3_3_1 BE;_cat_VePASS_ n5_a_voyager__1_3_3_2_3_3->n5_a_voyager__1_3_3_2_3_3_1 n5_a_voyager__1_3_3_2_3_3_2 IP-PPL-CAT n5_a_voyager__1_3_3_2_3_3->n5_a_voyager__1_3_3_2_3_3_2 n5_a_voyager__1_3_3_2_3_3_1->n5_a_voyager__1_3_3_2_3_3_1_1 n5_a_voyager__1_3_3_2_3_3_2_1 NP-LGS n5_a_voyager__1_3_3_2_3_3_2->n5_a_voyager__1_3_3_2_3_3_2_1 n5_a_voyager__1_3_3_2_3_3_2_2 VVN;_Tn.pr_ n5_a_voyager__1_3_3_2_3_3_2->n5_a_voyager__1_3_3_2_3_3_2_2 n5_a_voyager__1_3_3_2_3_3_2_3 PP-CLR n5_a_voyager__1_3_3_2_3_3_2->n5_a_voyager__1_3_3_2_3_3_2_3 n5_a_voyager__1_3_3_2_3_3_2_1->n5_a_voyager__1_3_3_2_3_3_2_1_1 n5_a_voyager__1_3_3_2_3_3_2_2->n5_a_voyager__1_3_3_2_3_3_2_2_1 n5_a_voyager__1_3_3_2_3_3_2_3_1 P-ROLE n5_a_voyager__1_3_3_2_3_3_2_3->n5_a_voyager__1_3_3_2_3_3_2_3_1 n5_a_voyager__1_3_3_2_3_3_2_3_2 NP n5_a_voyager__1_3_3_2_3_3_2_3->n5_a_voyager__1_3_3_2_3_3_2_3_2 n5_a_voyager__1_3_3_2_3_3_2_3_1->n5_a_voyager__1_3_3_2_3_3_2_3_1_1 n5_a_voyager__1_3_3_2_3_3_2_3_2_1 IP-PPL n5_a_voyager__1_3_3_2_3_3_2_3_2->n5_a_voyager__1_3_3_2_3_3_2_3_2_1 n5_a_voyager__1_3_3_2_3_3_2_3_2_2 NS n5_a_voyager__1_3_3_2_3_3_2_3_2->n5_a_voyager__1_3_3_2_3_3_2_3_2_2 n5_a_voyager__1_3_3_2_3_3_2_3_2_1_1 NP-LGS n5_a_voyager__1_3_3_2_3_3_2_3_2_1->n5_a_voyager__1_3_3_2_3_3_2_3_2_1_1 n5_a_voyager__1_3_3_2_3_3_2_3_2_1_2 VVN;_Tn_ n5_a_voyager__1_3_3_2_3_3_2_3_2_1->n5_a_voyager__1_3_3_2_3_3_2_3_2_1_2 n5_a_voyager__1_3_3_2_3_3_2_3_2_1_1->n5_a_voyager__1_3_3_2_3_3_2_3_2_1_1_1 n5_a_voyager__1_3_3_2_3_3_2_3_2_1_2->n5_a_voyager__1_3_3_2_3_3_2_3_2_1_2_1 n5_a_voyager__1_3_3_2_3_3_2_3_2_2->n5_a_voyager__1_3_3_2_3_3_2_3_2_2_1 n5_a_voyager__1_4->n5_a_voyager__1_4_1 
( (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))