TSPC 3_a_seiko

3_a_seiko_9r65
The Spring Drive powered by natural motions of the user can be called a watch that strongly combines and connects the user with the latest advancements in technology.

arc(r_0003_0004__powered, r_0003_0001__The_r_0003_0002__Spring_r_0003_0003__Drive, arg1).
arc(r_0003_0004__powered, r_0003_0007__motions, arg0).
arc(r_0003_0007__motions, r_0003_0006__natural, attrib16).
arc(r_0003_0007__motions, r_0003_0009__the_r_0003_0010__user, r_0003_0008__of).
arc(r_0003_0011__can, r_0003_0012__be, scope).
arc(r_0003_0012__be, r_0003_0013__called, scope).
arc(r_0003_0013__called, r_0003_0001__The_r_0003_0002__Spring_r_0003_0003__Drive, arg1).
arc(r_0003_0013__called, r_0003_0014__a_r_0003_0015__watch, prd).
arc(r_0003_0013__called, z_000_3_a_seiko_9r65_35, arg0).
arc(r_0003_0018__combines, r_0003_0014__a_r_0003_0015__watch, arg0).
arc(r_0003_0018__combines, r_0003_0017__strongly, nim49).
arc(r_0003_0018__combines, r_0003_0021__the_r_0003_0022__user, arg1).
arc(r_0003_0018__combines, r_0003_0024__the_r_0003_0026__advancements, r_0003_0023__with_clr70).
arc(r_0003_0019__and, r_0003_0018__combines, conj1).
arc(r_0003_0019__and, r_0003_0020__connects, conj2).
arc(r_0003_0020__connects, r_0003_0014__a_r_0003_0015__watch, arg0).
arc(r_0003_0020__connects, r_0003_0017__strongly, nim49).
arc(r_0003_0020__connects, r_0003_0021__the_r_0003_0022__user, arg1).
arc(r_0003_0020__connects, r_0003_0024__the_r_0003_0026__advancements, r_0003_0023__with_clr70).
arc(r_0003_0024__the_r_0003_0026__advancements, r_0003_0025__latest, attrib73).
arc(r_0003_0024__the_r_0003_0026__advancements, r_0003_0028__technology, r_0003_0027__in).

fof(formula,axiom,
    ? [R_0003_0001__THE_R_0003_0002__SPRING_R_0003_0003__DRIVE,R_0003_0006__NATURAL,R_0003_0009__THE_R_0003_0010__USER,R_0003_0007__MOTIONS,R_0003_0004__POWERED,R_0003_0014__A_R_0003_0015__WATCH,Z_000_3_A_SEIKO_9R65_35,R_0003_0011__CAN_R_0003_0012__BE_R_0003_0013__CALLED,R_0003_0017__STRONGLY,R_0003_0021__THE_R_0003_0022__USER,R_0003_0025__LATEST,R_0003_0028__TECHNOLOGY,R_0003_0024__THE_R_0003_0026__ADVANCEMENTS,R_0003_0018__COMBINES,R_0003_0020__CONNECTS,R_0003_0019__AND] :
      ( r_0003_0001__The_r_0003_0002__Spring_r_0003_0003__Drive(R_0003_0001__THE_R_0003_0002__SPRING_R_0003_0003__DRIVE)
      & r_0003_0006__natural(R_0003_0006__NATURAL)
      & r_0003_0009__the_r_0003_0010__user(R_0003_0009__THE_R_0003_0010__USER)
      & r_0003_0014__a_r_0003_0015__watch(R_0003_0014__A_R_0003_0015__WATCH)
      & r_0003_0017__strongly(R_0003_0017__STRONGLY)
      & r_0003_0021__the_r_0003_0022__user(R_0003_0021__THE_R_0003_0022__USER)
      & r_0003_0025__latest(R_0003_0025__LATEST)
      & r_0003_0028__technology(R_0003_0028__TECHNOLOGY)
      & z_000_3_a_seiko_9r65_35(Z_000_3_A_SEIKO_9R65_35)
      & r_0003_0019__and(R_0003_0019__AND)
      & has_conj2(R_0003_0019__AND,R_0003_0020__CONNECTS)
      & r_0003_0020__connects(R_0003_0020__CONNECTS)
      & has_r_0003_0023__with_clr70(R_0003_0020__CONNECTS,R_0003_0024__THE_R_0003_0026__ADVANCEMENTS)
      & r_0003_0024__the_r_0003_0026__advancements(R_0003_0024__THE_R_0003_0026__ADVANCEMENTS)
      & has_r_0003_0027__in(R_0003_0024__THE_R_0003_0026__ADVANCEMENTS,R_0003_0028__TECHNOLOGY)
      & has_attrib73(R_0003_0024__THE_R_0003_0026__ADVANCEMENTS,R_0003_0025__LATEST)
      & has_arg1(R_0003_0020__CONNECTS,R_0003_0021__THE_R_0003_0022__USER)
      & has_nim49(R_0003_0020__CONNECTS,R_0003_0017__STRONGLY)
      & has_arg0(R_0003_0020__CONNECTS,R_0003_0014__A_R_0003_0015__WATCH)
      & has_conj1(R_0003_0019__AND,R_0003_0018__COMBINES)
      & r_0003_0018__combines(R_0003_0018__COMBINES)
      & has_r_0003_0023__with_clr70(R_0003_0018__COMBINES,R_0003_0024__THE_R_0003_0026__ADVANCEMENTS)
      & has_arg1(R_0003_0018__COMBINES,R_0003_0021__THE_R_0003_0022__USER)
      & has_nim49(R_0003_0018__COMBINES,R_0003_0017__STRONGLY)
      & has_arg0(R_0003_0018__COMBINES,R_0003_0014__A_R_0003_0015__WATCH)
      & r_0003_0011__can_r_0003_0012__be_r_0003_0013__called(R_0003_0011__CAN_R_0003_0012__BE_R_0003_0013__CALLED)
      & has_arg0(R_0003_0011__CAN_R_0003_0012__BE_R_0003_0013__CALLED,Z_000_3_A_SEIKO_9R65_35)
      & has_prd(R_0003_0011__CAN_R_0003_0012__BE_R_0003_0013__CALLED,R_0003_0014__A_R_0003_0015__WATCH)
      & has_arg1(R_0003_0011__CAN_R_0003_0012__BE_R_0003_0013__CALLED,R_0003_0001__THE_R_0003_0002__SPRING_R_0003_0003__DRIVE)
      & r_0003_0004__powered(R_0003_0004__POWERED)
      & has_arg0(R_0003_0004__POWERED,R_0003_0007__MOTIONS)
      & r_0003_0007__motions(R_0003_0007__MOTIONS)
      & has_r_0003_0008__of(R_0003_0007__MOTIONS,R_0003_0009__THE_R_0003_0010__USER)
      & has_attrib16(R_0003_0007__MOTIONS,R_0003_0006__NATURAL)
      & has_arg1(R_0003_0004__POWERED,R_0003_0001__THE_R_0003_0002__SPRING_R_0003_0003__DRIVE) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (NPR Spring;{Spring})
                  (NPR Drive;{Drive})
                  (IP-PPL (VVN;_Tn_ powered;{power})
                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                  (NP (ADJP (ADJ natural;{natural}))
                                      (NS motions;{motion})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (N user;{user})))))))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n_ called;{call})
                                  (NP-PRD (D a;{a})
                                          (N watch;{watch})
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ *T*)
                                                  (ADVP-NIM (ADV strongly;{strongly}))
                                                  (ILYR (ILYR (VBP;_Tn.pr_ combines;{combine[with]}))
                                                        (CONJP (CONJ and;{and})
                                                               (ILYR (VBP;_Tn.pr_ connects;{connect[with]}))))
                                                  (NP-OB1 (D the;{the})
                                                          (N user;{user}))
                                                  (PP-CLR (P-ROLE with;{with})
                                                          (NP (D the;{the})
                                                              (ADJP (ADJS latest;{late}))
                                                              (NS advancements;{advancement})
                                                              (PP (P-ROLE in;{in})
                                                                  (NP (N technology;{technology})))))))))
          (PUNC .))
  (ID 3_a_seiko_9r65))