Context                Previous, Next                Top


4_a_seiko_9r65
A mechanical watch of taste and refinement with an accuracy equivalent to a quartz watch, this sophisticated and innovative watch ticks in step with the pace of a person's life.

%3 r_0004_0001__A_r_0004_0003__watch A watch r_0004_0002__mechanical mechanical r_0004_0001__A_r_0004_0003__watch->r_0004_0002__mechanical [attrib] r_0004_0006__and and r_0004_0001__A_r_0004_0003__watch->r_0004_0006__and of r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent an accuracy equivalent r_0004_0001__A_r_0004_0003__watch->r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent with r_0004_0005__taste taste r_0004_0006__and->r_0004_0005__taste [conj1] r_0004_0007__refinement refinement r_0004_0006__and->r_0004_0007__refinement [conj2] r_0004_0013__a_r_0004_0014__quartz_r_0004_0015__watch a quartz watch r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent->r_0004_0013__a_r_0004_0014__quartz_r_0004_0015__watch to r_0004_0017__this_r_0004_0021__watch this watch r_0004_0019__and and r_0004_0017__this_r_0004_0021__watch->r_0004_0019__and [attrib] r_0004_0018__sophisticated sophisticated r_0004_0019__and->r_0004_0018__sophisticated [conj1] r_0004_0020__innovative innovative r_0004_0019__and->r_0004_0020__innovative [conj2] r_0004_0022__ticks ticks r_0004_0022__ticks->r_0004_0017__this_r_0004_0021__watch [arg0] r_0004_0024__step step r_0004_0022__ticks->r_0004_0024__step in [nim] r_0004_0026__the_r_0004_0027__pace the pace r_0004_0024__step->r_0004_0026__the_r_0004_0027__pace with r_0004_0032__life life r_0004_0026__the_r_0004_0027__pace->r_0004_0032__life of r_0004_0029__a_r_0004_0030__person_r_0004_0031___apos_s a person 's r_0004_0032__life->r_0004_0029__a_r_0004_0030__person_r_0004_0031___apos_s [gen] z_000_4_a_seiko_9r65_3 z_000_4_a_seiko_9r65_3->r_0004_0001__A_r_0004_0003__watch [prd] z_000_4_a_seiko_9r65_3->r_0004_0017__this_r_0004_0021__watch [arg0] 
arc(r_0004_0001__A_r_0004_0003__watch, r_0004_0002__mechanical, attrib7).
arc(r_0004_0001__A_r_0004_0003__watch, r_0004_0006__and, r_0004_0004__of).
arc(r_0004_0001__A_r_0004_0003__watch, r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent, r_0004_0008__with).
arc(r_0004_0006__and, r_0004_0005__taste, conj1).
arc(r_0004_0006__and, r_0004_0007__refinement, conj2).
arc(r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent, r_0004_0013__a_r_0004_0014__quartz_r_0004_0015__watch, r_0004_0012__to).
arc(r_0004_0017__this_r_0004_0021__watch, r_0004_0019__and, attrib50).
arc(r_0004_0019__and, r_0004_0018__sophisticated, conj1).
arc(r_0004_0019__and, r_0004_0020__innovative, conj2).
arc(r_0004_0022__ticks, r_0004_0017__this_r_0004_0021__watch, arg0).
arc(r_0004_0022__ticks, r_0004_0024__step, r_0004_0023__in_nim68).
arc(r_0004_0024__step, r_0004_0026__the_r_0004_0027__pace, r_0004_0025__with).
arc(r_0004_0026__the_r_0004_0027__pace, r_0004_0032__life, r_0004_0028__of).
arc(r_0004_0032__life, r_0004_0029__a_r_0004_0030__person_r_0004_0031___apos_s, gen).
arc(z_000_4_a_seiko_9r65_3, r_0004_0001__A_r_0004_0003__watch, prd).
arc(z_000_4_a_seiko_9r65_3, r_0004_0017__this_r_0004_0021__watch, arg0).


%3 r_0004_0001__A_r_0004_0003__watch A watch r_0004_0002__mechanical mechanical r_0004_0001__A_r_0004_0003__watch->r_0004_0002__mechanical [attrib] r_0004_0006__and and r_0004_0001__A_r_0004_0003__watch->r_0004_0006__and of r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent an accuracy equivalent r_0004_0001__A_r_0004_0003__watch->r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent with r_0004_0005__taste taste r_0004_0006__and->r_0004_0005__taste [conj1] r_0004_0007__refinement refinement r_0004_0006__and->r_0004_0007__refinement [conj2] r_0004_0013__a_r_0004_0014__quartz_r_0004_0015__watch a quartz watch r_0004_0009__an_r_0004_0010__accuracy_r_0004_0011__equivalent->r_0004_0013__a_r_0004_0014__quartz_r_0004_0015__watch to r_0004_0017__this_r_0004_0021__watch this watch r_0004_0019__and and r_0004_0017__this_r_0004_0021__watch->r_0004_0019__and [attrib] r_0004_0018__sophisticated sophisticated r_0004_0019__and->r_0004_0018__sophisticated [conj1] r_0004_0020__innovative innovative r_0004_0019__and->r_0004_0020__innovative [conj2] r_0004_0022__ticks ticks r_0004_0022__ticks->r_0004_0017__this_r_0004_0021__watch [arg0] r_0004_0024__step step r_0004_0022__ticks->r_0004_0024__step in [nim] r_0004_0026__the_r_0004_0027__pace the pace r_0004_0024__step->r_0004_0026__the_r_0004_0027__pace with r_0004_0032__life life r_0004_0026__the_r_0004_0027__pace->r_0004_0032__life of r_0004_0029__a_r_0004_0030__person_r_0004_0031___apos_s a person 's r_0004_0032__life->r_0004_0029__a_r_0004_0030__person_r_0004_0031___apos_s [gen] z_000_4_a_seiko_9r65_3 z_000_4_a_seiko_9r65_3->r_0004_0001__A_r_0004_0003__watch [prd] z_000_4_a_seiko_9r65_3->r_0004_0017__this_r_0004_0021__watch [arg0] 
fof(formula,axiom,
    ? [R_4_22_TICKS,R_4_24_STEP,R_4_26_THE_PACE,R_4_32_LIFE,R_4_29_A_PERSON_APOS_S,Z_4_A_SEIKO_9R65_3,R_4_17_THIS_WATCH,R_4_19_AND,R_4_18_SOPHISTICATED,R_4_20_INNOVATIVE,R_4_1_A_WATCH,R_4_2_MECHANICAL,R_4_6_AND,R_4_5_TASTE,R_4_7_REFINEMENT,R_4_9_AN_ACCURACY_EQUIVALENT,R_4_13_A_QUARTZ_WATCH] :
      ( a_person_apos_s(R_4_29_A_PERSON_APOS_S)
      & sophisticated(R_4_18_SOPHISTICATED)
      & innovative(R_4_20_INNOVATIVE)
      & mechanical(R_4_2_MECHANICAL)
      & taste(R_4_5_TASTE)
      & refinement(R_4_7_REFINEMENT)
      & a_quartz_watch(R_4_13_A_QUARTZ_WATCH)
      & ticks(R_4_22_TICKS,R_4_17_THIS_WATCH)
      & this_watch(R_4_17_THIS_WATCH)
      & attrib50(R_4_17_THIS_WATCH,R_4_19_AND)
      & and(R_4_19_AND)
      & conj1(R_4_19_AND,R_4_18_SOPHISTICATED)
      & conj2(R_4_19_AND,R_4_20_INNOVATIVE)
      & in_nim68(R_4_22_TICKS,R_4_24_STEP)
      & step(R_4_24_STEP)
      & with(R_4_24_STEP,R_4_26_THE_PACE)
      & the_pace(R_4_26_THE_PACE)
      & of(R_4_26_THE_PACE,R_4_32_LIFE)
      & life(R_4_32_LIFE)
      & gen(R_4_32_LIFE,R_4_29_A_PERSON_APOS_S)
      & z_4_a_seiko_9r65_3(Z_4_A_SEIKO_9R65_3,R_4_17_THIS_WATCH,R_4_1_A_WATCH)
      & a_watch(R_4_1_A_WATCH)
      & attrib7(R_4_1_A_WATCH,R_4_2_MECHANICAL)
      & of(R_4_1_A_WATCH,R_4_6_AND)
      & and(R_4_6_AND)
      & conj1(R_4_6_AND,R_4_5_TASTE)
      & conj2(R_4_6_AND,R_4_7_REFINEMENT)
      & with(R_4_1_A_WATCH,R_4_9_AN_ACCURACY_EQUIVALENT)
      & an_accuracy_equivalent(R_4_9_AN_ACCURACY_EQUIVALENT)
      & to(R_4_9_AN_ACCURACY_EQUIVALENT,R_4_13_A_QUARTZ_WATCH) ) ).


n4_a_seiko_9r65 n4_a_seiko_9r65_6 A n4_a_seiko_9r65_9 mechanical n4_a_seiko_9r65_11 watch n4_a_seiko_9r65_14 of n4_a_seiko_9r65_19 taste n4_a_seiko_9r65_22 and n4_a_seiko_9r65_25 refinement n4_a_seiko_9r65_28 with n4_a_seiko_9r65_31 an n4_a_seiko_9r65_33 accuracy n4_a_seiko_9r65_35 equivalent n4_a_seiko_9r65_38 to n4_a_seiko_9r65_41 a n4_a_seiko_9r65_43 quartz n4_a_seiko_9r65_45 watch n4_a_seiko_9r65_47 , n4_a_seiko_9r65_49 this n4_a_seiko_9r65_54 sophisticated n4_a_seiko_9r65_57 and n4_a_seiko_9r65_60 innovative n4_a_seiko_9r65_62 watch n4_a_seiko_9r65_64 ticks n4_a_seiko_9r65_67 in n4_a_seiko_9r65_70 step n4_a_seiko_9r65_73 with n4_a_seiko_9r65_76 the n4_a_seiko_9r65_78 pace n4_a_seiko_9r65_81 of n4_a_seiko_9r65_85 a n4_a_seiko_9r65_87 person n4_a_seiko_9r65_89 's n4_a_seiko_9r65_91 life n4_a_seiko_9r65_93 . n4_a_seiko_9r65_1 IP-MAT n4_a_seiko_9r65_2 NP-SBJ n4_a_seiko_9r65_1->n4_a_seiko_9r65_2 n4_a_seiko_9r65_63 VBP;_I_ n4_a_seiko_9r65_1->n4_a_seiko_9r65_63 n4_a_seiko_9r65_65 PP-NIM n4_a_seiko_9r65_1->n4_a_seiko_9r65_65 n4_a_seiko_9r65_92 PUNC n4_a_seiko_9r65_1->n4_a_seiko_9r65_92 n4_a_seiko_9r65_3 IP-PPL n4_a_seiko_9r65_2->n4_a_seiko_9r65_3 n4_a_seiko_9r65_46 PUNC n4_a_seiko_9r65_2->n4_a_seiko_9r65_46 n4_a_seiko_9r65_48 D n4_a_seiko_9r65_2->n4_a_seiko_9r65_48 n4_a_seiko_9r65_50 ADJP n4_a_seiko_9r65_2->n4_a_seiko_9r65_50 n4_a_seiko_9r65_61 N n4_a_seiko_9r65_2->n4_a_seiko_9r65_61 n4_a_seiko_9r65_4 NP-PRD n4_a_seiko_9r65_3->n4_a_seiko_9r65_4 n4_a_seiko_9r65_5 D n4_a_seiko_9r65_4->n4_a_seiko_9r65_5 n4_a_seiko_9r65_7 ADJP n4_a_seiko_9r65_4->n4_a_seiko_9r65_7 n4_a_seiko_9r65_10 N n4_a_seiko_9r65_4->n4_a_seiko_9r65_10 n4_a_seiko_9r65_12 PP n4_a_seiko_9r65_4->n4_a_seiko_9r65_12 n4_a_seiko_9r65_26 PP n4_a_seiko_9r65_4->n4_a_seiko_9r65_26 n4_a_seiko_9r65_5->n4_a_seiko_9r65_6 n4_a_seiko_9r65_8 ADJ n4_a_seiko_9r65_7->n4_a_seiko_9r65_8 n4_a_seiko_9r65_8->n4_a_seiko_9r65_9 n4_a_seiko_9r65_10->n4_a_seiko_9r65_11 n4_a_seiko_9r65_13 P-ROLE n4_a_seiko_9r65_12->n4_a_seiko_9r65_13 n4_a_seiko_9r65_15 NP n4_a_seiko_9r65_12->n4_a_seiko_9r65_15 n4_a_seiko_9r65_13->n4_a_seiko_9r65_14 n4_a_seiko_9r65_16 NLYR n4_a_seiko_9r65_15->n4_a_seiko_9r65_16 n4_a_seiko_9r65_17 NLYR n4_a_seiko_9r65_16->n4_a_seiko_9r65_17 n4_a_seiko_9r65_20 CONJP n4_a_seiko_9r65_16->n4_a_seiko_9r65_20 n4_a_seiko_9r65_18 N n4_a_seiko_9r65_17->n4_a_seiko_9r65_18 n4_a_seiko_9r65_18->n4_a_seiko_9r65_19 n4_a_seiko_9r65_21 CONJ n4_a_seiko_9r65_20->n4_a_seiko_9r65_21 n4_a_seiko_9r65_23 NLYR n4_a_seiko_9r65_20->n4_a_seiko_9r65_23 n4_a_seiko_9r65_21->n4_a_seiko_9r65_22 n4_a_seiko_9r65_24 N n4_a_seiko_9r65_23->n4_a_seiko_9r65_24 n4_a_seiko_9r65_24->n4_a_seiko_9r65_25 n4_a_seiko_9r65_27 P-ROLE n4_a_seiko_9r65_26->n4_a_seiko_9r65_27 n4_a_seiko_9r65_29 NP n4_a_seiko_9r65_26->n4_a_seiko_9r65_29 n4_a_seiko_9r65_27->n4_a_seiko_9r65_28 n4_a_seiko_9r65_30 D n4_a_seiko_9r65_29->n4_a_seiko_9r65_30 n4_a_seiko_9r65_32 N n4_a_seiko_9r65_29->n4_a_seiko_9r65_32 n4_a_seiko_9r65_34 N n4_a_seiko_9r65_29->n4_a_seiko_9r65_34 n4_a_seiko_9r65_36 PP n4_a_seiko_9r65_29->n4_a_seiko_9r65_36 n4_a_seiko_9r65_30->n4_a_seiko_9r65_31 n4_a_seiko_9r65_32->n4_a_seiko_9r65_33 n4_a_seiko_9r65_34->n4_a_seiko_9r65_35 n4_a_seiko_9r65_37 P-ROLE n4_a_seiko_9r65_36->n4_a_seiko_9r65_37 n4_a_seiko_9r65_39 NP n4_a_seiko_9r65_36->n4_a_seiko_9r65_39 n4_a_seiko_9r65_37->n4_a_seiko_9r65_38 n4_a_seiko_9r65_40 D n4_a_seiko_9r65_39->n4_a_seiko_9r65_40 n4_a_seiko_9r65_42 N n4_a_seiko_9r65_39->n4_a_seiko_9r65_42 n4_a_seiko_9r65_44 N n4_a_seiko_9r65_39->n4_a_seiko_9r65_44 n4_a_seiko_9r65_40->n4_a_seiko_9r65_41 n4_a_seiko_9r65_42->n4_a_seiko_9r65_43 n4_a_seiko_9r65_44->n4_a_seiko_9r65_45 n4_a_seiko_9r65_46->n4_a_seiko_9r65_47 n4_a_seiko_9r65_48->n4_a_seiko_9r65_49 n4_a_seiko_9r65_51 AJLYR n4_a_seiko_9r65_50->n4_a_seiko_9r65_51 n4_a_seiko_9r65_52 AJLYR n4_a_seiko_9r65_51->n4_a_seiko_9r65_52 n4_a_seiko_9r65_55 CONJP n4_a_seiko_9r65_51->n4_a_seiko_9r65_55 n4_a_seiko_9r65_53 ADJ n4_a_seiko_9r65_52->n4_a_seiko_9r65_53 n4_a_seiko_9r65_53->n4_a_seiko_9r65_54 n4_a_seiko_9r65_56 CONJ n4_a_seiko_9r65_55->n4_a_seiko_9r65_56 n4_a_seiko_9r65_58 AJLYR n4_a_seiko_9r65_55->n4_a_seiko_9r65_58 n4_a_seiko_9r65_56->n4_a_seiko_9r65_57 n4_a_seiko_9r65_59 ADJ n4_a_seiko_9r65_58->n4_a_seiko_9r65_59 n4_a_seiko_9r65_59->n4_a_seiko_9r65_60 n4_a_seiko_9r65_61->n4_a_seiko_9r65_62 n4_a_seiko_9r65_63->n4_a_seiko_9r65_64 n4_a_seiko_9r65_66 P-ROLE n4_a_seiko_9r65_65->n4_a_seiko_9r65_66 n4_a_seiko_9r65_68 NP n4_a_seiko_9r65_65->n4_a_seiko_9r65_68 n4_a_seiko_9r65_66->n4_a_seiko_9r65_67 n4_a_seiko_9r65_69 N n4_a_seiko_9r65_68->n4_a_seiko_9r65_69 n4_a_seiko_9r65_71 PP n4_a_seiko_9r65_68->n4_a_seiko_9r65_71 n4_a_seiko_9r65_69->n4_a_seiko_9r65_70 n4_a_seiko_9r65_72 P-ROLE n4_a_seiko_9r65_71->n4_a_seiko_9r65_72 n4_a_seiko_9r65_74 NP n4_a_seiko_9r65_71->n4_a_seiko_9r65_74 n4_a_seiko_9r65_72->n4_a_seiko_9r65_73 n4_a_seiko_9r65_75 D n4_a_seiko_9r65_74->n4_a_seiko_9r65_75 n4_a_seiko_9r65_77 N n4_a_seiko_9r65_74->n4_a_seiko_9r65_77 n4_a_seiko_9r65_79 PP n4_a_seiko_9r65_74->n4_a_seiko_9r65_79 n4_a_seiko_9r65_75->n4_a_seiko_9r65_76 n4_a_seiko_9r65_77->n4_a_seiko_9r65_78 n4_a_seiko_9r65_80 P-ROLE n4_a_seiko_9r65_79->n4_a_seiko_9r65_80 n4_a_seiko_9r65_82 NP n4_a_seiko_9r65_79->n4_a_seiko_9r65_82 n4_a_seiko_9r65_80->n4_a_seiko_9r65_81 n4_a_seiko_9r65_83 NP-GEN n4_a_seiko_9r65_82->n4_a_seiko_9r65_83 n4_a_seiko_9r65_90 N n4_a_seiko_9r65_82->n4_a_seiko_9r65_90 n4_a_seiko_9r65_84 D n4_a_seiko_9r65_83->n4_a_seiko_9r65_84 n4_a_seiko_9r65_86 N n4_a_seiko_9r65_83->n4_a_seiko_9r65_86 n4_a_seiko_9r65_88 GENM n4_a_seiko_9r65_83->n4_a_seiko_9r65_88 n4_a_seiko_9r65_84->n4_a_seiko_9r65_85 n4_a_seiko_9r65_86->n4_a_seiko_9r65_87 n4_a_seiko_9r65_88->n4_a_seiko_9r65_89 n4_a_seiko_9r65_90->n4_a_seiko_9r65_91 n4_a_seiko_9r65_92->n4_a_seiko_9r65_93 
( (IP-MAT (NP-SBJ (IP-PPL (NP-PRD (D A;{a})
                                  (ADJP (ADJ mechanical;{mechanical}))
                                  (N watch;{watch})
                                  (PP (P-ROLE of;{of})
                                      (NP (NLYR (NLYR (N taste;{taste}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (N refinement;{refinement}))))))
                                  (PP (P-ROLE with;{with})
                                      (NP (D an;{an})
                                          (N accuracy;{accuracy})
                                          (N equivalent;{equivalent})
                                          (PP (P-ROLE to;{to})
                                              (NP (D a;{a})
                                                  (N quartz;{quartz})
                                                  (N watch;{watch})))))))
                  (PUNC ,)
                  (D this;{this})
                  (ADJP (AJLYR (AJLYR (ADJ sophisticated;{sophisticated}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJ innovative;{innovative})))))
                  (N watch;{watch}))
          (VBP;_I_ ticks;{tick})
          (PP-NIM (P-ROLE in;{in})
                  (NP (N step;{step})
                      (PP (P-ROLE with;{with})
                          (NP (D the;{the})
                              (N pace;{pace})
                              (PP (P-ROLE of;{of})
                                  (NP (NP-GEN (D a;{a})
                                              (N person;{person})
                                              (GENM <apos>s))
                                      (N life;{life})))))))
          (PUNC .))
  (ID 4_a_seiko_9r65))