12_a_seiko_9r65
The watch also embodies the concepts of Grand Seiko that continues the challenge of creating the best practical watch.
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).
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) ) ).
( (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))