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_0003__is_r_0005_0004__recorded is recorded 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] r_0005_0007__impulses impulses 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_0006__electronic electronic r_0005_0007__impulses->r_0005_0006__electronic [attrib] 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_0007__impulses [arg1] r_0005_0014__words words 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_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] 
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_4 The n5_a_voyager_6 statement n5_a_voyager_8 is n5_a_voyager_11 * n5_a_voyager_13 recorded n5_a_voyager_16 in n5_a_voyager_20 electronic n5_a_voyager_22 impulses n5_a_voyager_26 which n5_a_voyager_28 can n5_a_voyager_31 be n5_a_voyager_34 * n5_a_voyager_36 converted n5_a_voyager_39 into n5_a_voyager_43 * n5_a_voyager_45 printed n5_a_voyager_47 words n5_a_voyager_49 . n5_a_voyager_1 IP-MAT n5_a_voyager_2 NP-SBJ n5_a_voyager_1->n5_a_voyager_2 n5_a_voyager_7 BEP;_cat_VePASS_ n5_a_voyager_1->n5_a_voyager_7 n5_a_voyager_9 IP-PPL-CAT n5_a_voyager_1->n5_a_voyager_9 n5_a_voyager_48 PUNC n5_a_voyager_1->n5_a_voyager_48 n5_a_voyager_3 D n5_a_voyager_2->n5_a_voyager_3 n5_a_voyager_5 N n5_a_voyager_2->n5_a_voyager_5 n5_a_voyager_3->n5_a_voyager_4 n5_a_voyager_5->n5_a_voyager_6 n5_a_voyager_7->n5_a_voyager_8 n5_a_voyager_10 NP-LGS n5_a_voyager_9->n5_a_voyager_10 n5_a_voyager_12 VVN;_Tn.pr_ n5_a_voyager_9->n5_a_voyager_12 n5_a_voyager_14 PP-CLR n5_a_voyager_9->n5_a_voyager_14 n5_a_voyager_10->n5_a_voyager_11 n5_a_voyager_12->n5_a_voyager_13 n5_a_voyager_15 P-ROLE n5_a_voyager_14->n5_a_voyager_15 n5_a_voyager_17 NP n5_a_voyager_14->n5_a_voyager_17 n5_a_voyager_15->n5_a_voyager_16 n5_a_voyager_18 ADJP n5_a_voyager_17->n5_a_voyager_18 n5_a_voyager_21 NS n5_a_voyager_17->n5_a_voyager_21 n5_a_voyager_23 IP-REL n5_a_voyager_17->n5_a_voyager_23 n5_a_voyager_19 ADJ n5_a_voyager_18->n5_a_voyager_19 n5_a_voyager_19->n5_a_voyager_20 n5_a_voyager_21->n5_a_voyager_22 n5_a_voyager_24 NP-SBJ n5_a_voyager_23->n5_a_voyager_24 n5_a_voyager_27 MD;_cat_Vi_ n5_a_voyager_23->n5_a_voyager_27 n5_a_voyager_29 IP-INF-CAT n5_a_voyager_23->n5_a_voyager_29 n5_a_voyager_25 RPRO n5_a_voyager_24->n5_a_voyager_25 n5_a_voyager_25->n5_a_voyager_26 n5_a_voyager_27->n5_a_voyager_28 n5_a_voyager_30 BE;_cat_VePASS_ n5_a_voyager_29->n5_a_voyager_30 n5_a_voyager_32 IP-PPL-CAT n5_a_voyager_29->n5_a_voyager_32 n5_a_voyager_30->n5_a_voyager_31 n5_a_voyager_33 NP-LGS n5_a_voyager_32->n5_a_voyager_33 n5_a_voyager_35 VVN;_Tn.pr_ n5_a_voyager_32->n5_a_voyager_35 n5_a_voyager_37 PP-CLR n5_a_voyager_32->n5_a_voyager_37 n5_a_voyager_33->n5_a_voyager_34 n5_a_voyager_35->n5_a_voyager_36 n5_a_voyager_38 P-ROLE n5_a_voyager_37->n5_a_voyager_38 n5_a_voyager_40 NP n5_a_voyager_37->n5_a_voyager_40 n5_a_voyager_38->n5_a_voyager_39 n5_a_voyager_41 IP-PPL n5_a_voyager_40->n5_a_voyager_41 n5_a_voyager_46 NS n5_a_voyager_40->n5_a_voyager_46 n5_a_voyager_42 NP-LGS n5_a_voyager_41->n5_a_voyager_42 n5_a_voyager_44 VVN;_Tn_ n5_a_voyager_41->n5_a_voyager_44 n5_a_voyager_42->n5_a_voyager_43 n5_a_voyager_44->n5_a_voyager_45 n5_a_voyager_46->n5_a_voyager_47 n5_a_voyager_48->n5_a_voyager_49 
( (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))