TSPC 12_a_seiko

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

( (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))

arc(r_0012_0004__embodies,r_0012_0001__The_r_0012_0002__watch,arg0).
arc(r_0012_0004__embodies,r_0012_0003__also,nim).
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_0011__continues,r_0012_0005__the_r_0012_0006__concepts,inv_arg0).
arc(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_0012_5006,arg0).
arc(r_0012_0016__the_r_0012_0019__watch,r_0012_0017__best,attrib).
arc(r_0012_0016__the_r_0012_0019__watch,r_0012_0018__practical,attrib).

fof(formula,axiom,
    ? [R_0012_0001__THE_R_0012_0002__WATCH,R_0012_0003__ALSO,R_0012_0008__GRAND_R_0012_0009__SEIKO,R_0012_0017__BEST,R_0012_0018__PRACTICAL,R_0012_0016__THE_R_0012_0019__WATCH,Z_0012_5006,R_0012_0015__CREATING,R_0012_0012__THE_R_0012_0013__CHALLENGE,R_0012_0011__CONTINUES,R_0012_0005__THE_R_0012_0006__CONCEPTS,R_0012_0004__EMBODIES] :
      ( r_0012_0001__The_r_0012_0002__watch(R_0012_0001__THE_R_0012_0002__WATCH)
      & r_0012_0003__also(R_0012_0003__ALSO)
      & r_0012_0008__Grand_r_0012_0009__Seiko(R_0012_0008__GRAND_R_0012_0009__SEIKO)
      & r_0012_0017__best(R_0012_0017__BEST)
      & r_0012_0018__practical(R_0012_0018__PRACTICAL)
      & z_0012_5006(Z_0012_5006)
      & r_0012_0004__embodies(R_0012_0004__EMBODIES)
      & has_arg1(R_0012_0004__EMBODIES,R_0012_0005__THE_R_0012_0006__CONCEPTS)
      & r_0012_0005__the_r_0012_0006__concepts(R_0012_0005__THE_R_0012_0006__CONCEPTS)
      & has_inv_arg0(R_0012_0005__THE_R_0012_0006__CONCEPTS,R_0012_0011__CONTINUES)
      & r_0012_0011__continues(R_0012_0011__CONTINUES)
      & has_arg1(R_0012_0011__CONTINUES,R_0012_0012__THE_R_0012_0013__CHALLENGE)
      & r_0012_0012__the_r_0012_0013__challenge(R_0012_0012__THE_R_0012_0013__CHALLENGE)
      & has_r_0012_0014__of(R_0012_0012__THE_R_0012_0013__CHALLENGE,R_0012_0015__CREATING)
      & r_0012_0015__creating(R_0012_0015__CREATING)
      & has_arg0(R_0012_0015__CREATING,Z_0012_5006)
      & has_arg1(R_0012_0015__CREATING,R_0012_0016__THE_R_0012_0019__WATCH)
      & r_0012_0016__the_r_0012_0019__watch(R_0012_0016__THE_R_0012_0019__WATCH)
      & has_attrib(R_0012_0016__THE_R_0012_0019__WATCH,R_0012_0018__PRACTICAL)
      & has_attrib(R_0012_0016__THE_R_0012_0019__WATCH,R_0012_0017__BEST)
      & has_r_0012_0007__of(R_0012_0005__THE_R_0012_0006__CONCEPTS,R_0012_0008__GRAND_R_0012_0009__SEIKO)
      & has_nim(R_0012_0004__EMBODIES,R_0012_0003__ALSO)
      & has_arg0(R_0012_0004__EMBODIES,R_0012_0001__THE_R_0012_0002__WATCH) ) ).