Context                Previous, Next                Top


12_a_seiko_9r65
The watch also embodies the concepts of Grand Seiko that continues the challenge of creating the best practical watch.

%3 r_0012_0004__embodies embodies r_0012_0001__The_r_0012_0002__watch The watch r_0012_0004__embodies->r_0012_0001__The_r_0012_0002__watch [arg0] r_0012_0003__also also r_0012_0004__embodies->r_0012_0003__also [nim] r_0012_0005__the_r_0012_0006__concepts the concepts r_0012_0004__embodies->r_0012_0005__the_r_0012_0006__concepts [arg1] r_0012_0008__Grand_r_0012_0009__Seiko Grand Seiko r_0012_0005__the_r_0012_0006__concepts->r_0012_0008__Grand_r_0012_0009__Seiko of r_0012_0010__that_r_0012_0011__continues that continues r_0012_0010__that_r_0012_0011__continues->r_0012_0005__the_r_0012_0006__concepts [arg0] r_0012_0012__the_r_0012_0013__challenge the challenge r_0012_0010__that_r_0012_0011__continues->r_0012_0012__the_r_0012_0013__challenge [arg1] r_0012_0015__creating creating r_0012_0012__the_r_0012_0013__challenge->r_0012_0015__creating of r_0012_0016__the_r_0012_0019__watch the watch r_0012_0015__creating->r_0012_0016__the_r_0012_0019__watch [arg1] z_000_12_a_seiko_9r65_40 r_0012_0015__creating->z_000_12_a_seiko_9r65_40 [arg0] r_0012_0017__best best r_0012_0016__the_r_0012_0019__watch->r_0012_0017__best [attrib] r_0012_0018__practical practical r_0012_0016__the_r_0012_0019__watch->r_0012_0018__practical [attrib] 
arc(r_0012_0004__embodies, r_0012_0001__The_r_0012_0002__watch, arg0).
arc(r_0012_0004__embodies, r_0012_0003__also, nim7).
arc(r_0012_0004__embodies, r_0012_0005__the_r_0012_0006__concepts, arg1).
arc(r_0012_0005__the_r_0012_0006__concepts, r_0012_0008__Grand_r_0012_0009__Seiko, r_0012_0007__of).
arc(r_0012_0010__that_r_0012_0011__continues, r_0012_0005__the_r_0012_0006__concepts, arg0).
arc(r_0012_0010__that_r_0012_0011__continues, r_0012_0012__the_r_0012_0013__challenge, arg1).
arc(r_0012_0012__the_r_0012_0013__challenge, r_0012_0015__creating, r_0012_0014__of).
arc(r_0012_0015__creating, r_0012_0016__the_r_0012_0019__watch, arg1).
arc(r_0012_0015__creating, z_000_12_a_seiko_9r65_40, arg0).
arc(r_0012_0016__the_r_0012_0019__watch, r_0012_0017__best, attrib46).
arc(r_0012_0016__the_r_0012_0019__watch, r_0012_0018__practical, attrib49).


%3 r_0012_0004__embodies embodies r_0012_0001__The_r_0012_0002__watch The watch r_0012_0004__embodies->r_0012_0001__The_r_0012_0002__watch [arg0] r_0012_0003__also also r_0012_0004__embodies->r_0012_0003__also [nim] r_0012_0005__the_r_0012_0006__concepts the concepts r_0012_0004__embodies->r_0012_0005__the_r_0012_0006__concepts [arg1] r_0012_0008__Grand_r_0012_0009__Seiko Grand Seiko r_0012_0005__the_r_0012_0006__concepts->r_0012_0008__Grand_r_0012_0009__Seiko of r_0012_0010__that_r_0012_0011__continues that continues r_0012_0010__that_r_0012_0011__continues->r_0012_0005__the_r_0012_0006__concepts [arg0] r_0012_0012__the_r_0012_0013__challenge the challenge r_0012_0010__that_r_0012_0011__continues->r_0012_0012__the_r_0012_0013__challenge [arg1] r_0012_0015__creating creating r_0012_0012__the_r_0012_0013__challenge->r_0012_0015__creating of r_0012_0016__the_r_0012_0019__watch the watch r_0012_0015__creating->r_0012_0016__the_r_0012_0019__watch [arg1] z_000_12_a_seiko_9r65_40 r_0012_0015__creating->z_000_12_a_seiko_9r65_40 [arg0] r_0012_0017__best best r_0012_0016__the_r_0012_0019__watch->r_0012_0017__best [attrib] r_0012_0018__practical practical r_0012_0016__the_r_0012_0019__watch->r_0012_0018__practical [attrib] 
fof(formula,axiom,
    ? [R_12_4_EMBODIES,R_12_1_THE_WATCH,R_12_3_ALSO,R_12_10_THAT_CONTINUES,R_12_5_THE_CONCEPTS,R_12_8_GRAND_SEIKO,R_12_12_THE_CHALLENGE,R_12_15_CREATING,Z_12_A_SEIKO_9R65_40,R_12_16_THE_WATCH,R_12_17_BEST,R_12_18_PRACTICAL] :
      ( the_watch(R_12_1_THE_WATCH)
      & also(R_12_3_ALSO)
      & grand_Seiko(R_12_8_GRAND_SEIKO)
      & best(R_12_17_BEST)
      & practical(R_12_18_PRACTICAL)
      & embodies(R_12_4_EMBODIES,R_12_1_THE_WATCH,R_12_5_THE_CONCEPTS)
      & the_concepts(R_12_5_THE_CONCEPTS)
      & of(R_12_5_THE_CONCEPTS,R_12_8_GRAND_SEIKO)
      & nim7(R_12_4_EMBODIES,R_12_3_ALSO)
      & that_continues(R_12_10_THAT_CONTINUES,R_12_5_THE_CONCEPTS,R_12_12_THE_CHALLENGE)
      & the_challenge(R_12_12_THE_CHALLENGE)
      & of(R_12_12_THE_CHALLENGE,R_12_15_CREATING)
      & creating(R_12_15_CREATING,Z_12_A_SEIKO_9R65_40,R_12_16_THE_WATCH)
      & the_watch(R_12_16_THE_WATCH)
      & attrib46(R_12_16_THE_WATCH,R_12_17_BEST)
      & attrib49(R_12_16_THE_WATCH,R_12_18_PRACTICAL) ) ).


n12_a_seiko_9r65 n12_a_seiko_9r65_4 The n12_a_seiko_9r65_6 watch n12_a_seiko_9r65_9 also n12_a_seiko_9r65_11 embodies n12_a_seiko_9r65_14 the n12_a_seiko_9r65_16 concepts n12_a_seiko_9r65_19 of n12_a_seiko_9r65_22 Grand n12_a_seiko_9r65_24 Seiko n12_a_seiko_9r65_27 that n12_a_seiko_9r65_29 *T* n12_a_seiko_9r65_31 continues n12_a_seiko_9r65_34 the n12_a_seiko_9r65_36 challenge n12_a_seiko_9r65_39 of n12_a_seiko_9r65_42 creating n12_a_seiko_9r65_45 the n12_a_seiko_9r65_48 best n12_a_seiko_9r65_51 practical n12_a_seiko_9r65_53 watch n12_a_seiko_9r65_55 . n12_a_seiko_9r65_1 IP-MAT n12_a_seiko_9r65_2 NP-SBJ n12_a_seiko_9r65_1->n12_a_seiko_9r65_2 n12_a_seiko_9r65_7 ADVP-NIM n12_a_seiko_9r65_1->n12_a_seiko_9r65_7 n12_a_seiko_9r65_10 VBP;_Tn_ n12_a_seiko_9r65_1->n12_a_seiko_9r65_10 n12_a_seiko_9r65_12 NP-OB1 n12_a_seiko_9r65_1->n12_a_seiko_9r65_12 n12_a_seiko_9r65_54 PUNC n12_a_seiko_9r65_1->n12_a_seiko_9r65_54 n12_a_seiko_9r65_3 D n12_a_seiko_9r65_2->n12_a_seiko_9r65_3 n12_a_seiko_9r65_5 N n12_a_seiko_9r65_2->n12_a_seiko_9r65_5 n12_a_seiko_9r65_3->n12_a_seiko_9r65_4 n12_a_seiko_9r65_5->n12_a_seiko_9r65_6 n12_a_seiko_9r65_8 ADV n12_a_seiko_9r65_7->n12_a_seiko_9r65_8 n12_a_seiko_9r65_8->n12_a_seiko_9r65_9 n12_a_seiko_9r65_10->n12_a_seiko_9r65_11 n12_a_seiko_9r65_13 D n12_a_seiko_9r65_12->n12_a_seiko_9r65_13 n12_a_seiko_9r65_15 NS n12_a_seiko_9r65_12->n12_a_seiko_9r65_15 n12_a_seiko_9r65_17 PP n12_a_seiko_9r65_12->n12_a_seiko_9r65_17 n12_a_seiko_9r65_25 IP-REL n12_a_seiko_9r65_12->n12_a_seiko_9r65_25 n12_a_seiko_9r65_13->n12_a_seiko_9r65_14 n12_a_seiko_9r65_15->n12_a_seiko_9r65_16 n12_a_seiko_9r65_18 P-ROLE n12_a_seiko_9r65_17->n12_a_seiko_9r65_18 n12_a_seiko_9r65_20 NP n12_a_seiko_9r65_17->n12_a_seiko_9r65_20 n12_a_seiko_9r65_18->n12_a_seiko_9r65_19 n12_a_seiko_9r65_21 NPR n12_a_seiko_9r65_20->n12_a_seiko_9r65_21 n12_a_seiko_9r65_23 NPR n12_a_seiko_9r65_20->n12_a_seiko_9r65_23 n12_a_seiko_9r65_21->n12_a_seiko_9r65_22 n12_a_seiko_9r65_23->n12_a_seiko_9r65_24 n12_a_seiko_9r65_26 C n12_a_seiko_9r65_25->n12_a_seiko_9r65_26 n12_a_seiko_9r65_28 NP-SBJ n12_a_seiko_9r65_25->n12_a_seiko_9r65_28 n12_a_seiko_9r65_30 VBP;_Tn_ n12_a_seiko_9r65_25->n12_a_seiko_9r65_30 n12_a_seiko_9r65_32 NP-OB1 n12_a_seiko_9r65_25->n12_a_seiko_9r65_32 n12_a_seiko_9r65_26->n12_a_seiko_9r65_27 n12_a_seiko_9r65_28->n12_a_seiko_9r65_29 n12_a_seiko_9r65_30->n12_a_seiko_9r65_31 n12_a_seiko_9r65_33 D n12_a_seiko_9r65_32->n12_a_seiko_9r65_33 n12_a_seiko_9r65_35 N n12_a_seiko_9r65_32->n12_a_seiko_9r65_35 n12_a_seiko_9r65_37 PP n12_a_seiko_9r65_32->n12_a_seiko_9r65_37 n12_a_seiko_9r65_33->n12_a_seiko_9r65_34 n12_a_seiko_9r65_35->n12_a_seiko_9r65_36 n12_a_seiko_9r65_38 P-ROLE n12_a_seiko_9r65_37->n12_a_seiko_9r65_38 n12_a_seiko_9r65_40 IP-PPL n12_a_seiko_9r65_37->n12_a_seiko_9r65_40 n12_a_seiko_9r65_38->n12_a_seiko_9r65_39 n12_a_seiko_9r65_41 VAG;_Tn_ n12_a_seiko_9r65_40->n12_a_seiko_9r65_41 n12_a_seiko_9r65_43 NP-OB1 n12_a_seiko_9r65_40->n12_a_seiko_9r65_43 n12_a_seiko_9r65_41->n12_a_seiko_9r65_42 n12_a_seiko_9r65_44 D n12_a_seiko_9r65_43->n12_a_seiko_9r65_44 n12_a_seiko_9r65_46 ADJP n12_a_seiko_9r65_43->n12_a_seiko_9r65_46 n12_a_seiko_9r65_49 ADJP n12_a_seiko_9r65_43->n12_a_seiko_9r65_49 n12_a_seiko_9r65_52 N n12_a_seiko_9r65_43->n12_a_seiko_9r65_52 n12_a_seiko_9r65_44->n12_a_seiko_9r65_45 n12_a_seiko_9r65_47 ADJS n12_a_seiko_9r65_46->n12_a_seiko_9r65_47 n12_a_seiko_9r65_47->n12_a_seiko_9r65_48 n12_a_seiko_9r65_50 ADJ n12_a_seiko_9r65_49->n12_a_seiko_9r65_50 n12_a_seiko_9r65_50->n12_a_seiko_9r65_51 n12_a_seiko_9r65_52->n12_a_seiko_9r65_53 n12_a_seiko_9r65_54->n12_a_seiko_9r65_55 
( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (D The;{the})
                                 (N watch;{watch}))
          (ADVP-NIM (ADV also;{also}))
          (VBP;_Tn_ embodies;{embody})
          (NP-OB1 (D the;{the})
                  (NS concepts;{concept})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Grand;{Grand})
                          (NPR Seiko;{Seiko})))
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (VBP;_Tn_ continues;{continue})
                          (NP-OB1 (D the;{the})
                                  (N challenge;{challenge})
                                  (PP (P-ROLE of;{of})
                                      (IP-PPL (VAG;_Tn_ creating;{create})
                                              (NP-OB1 (D the;{the})
                                                      (ADJP (ADJS best;{good}))
                                                      (ADJP (ADJ practical;{practical}))
                                                      (N watch;{watch})))))))
          (PUNC .))
  (ID 12_a_seiko_9r65))