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.

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

arc(r_0003_0004__powered,r_0003_0001__The_r_0003_0002__Spring_r_0003_0003__Drive,inv_arg1).
arc(r_0003_0004__powered,r_0003_0007__motions,r_0003_0005__by_arg0).
arc(r_0003_0007__motions,r_0003_0006__natural,attrib).
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_0003_5016___star_,arg0).
arc(r_0003_0018__combines,r_0003_0014__a_r_0003_0015__watch,inv_arg0).
arc(r_0003_0018__combines,r_0003_0017__strongly,nim).
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__clr).
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,inv_arg0).
arc(r_0003_0020__connects,r_0003_0017__strongly,nim).
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__clr).
arc(r_0003_0024__the_r_0003_0026__advancements,r_0003_0025__latest,attrib).
arc(r_0003_0024__the_r_0003_0026__advancements,r_0003_0028__technology,r_0003_0027__in).

fof(formula,axiom,
    ? [R_0003_0006__NATURAL,R_0003_0009__THE_R_0003_0010__USER,R_0003_0007__MOTIONS,R_0003_0004__POWERED,R_0003_0001__THE_R_0003_0002__SPRING_R_0003_0003__DRIVE,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_0014__A_R_0003_0015__WATCH,Z_0003_5016___STAR_,R_0003_0011__CAN_R_0003_0012__BE_R_0003_0013__CALLED,R_0003_0019__AND] :
      ( 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_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_0003_5016___star_(Z_0003_5016___STAR_)
      & 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__clr(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_attrib(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_nim(R_0003_0020__CONNECTS,R_0003_0017__STRONGLY)
      & has_conj1(R_0003_0019__AND,R_0003_0018__COMBINES)
      & r_0003_0018__combines(R_0003_0018__COMBINES)
      & has_r_0003_0023__with__clr(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_nim(R_0003_0018__COMBINES,R_0003_0017__STRONGLY)
      & 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_0003_5016___STAR_)
      & has_prd(R_0003_0011__CAN_R_0003_0012__BE_R_0003_0013__CALLED,R_0003_0014__A_R_0003_0015__WATCH)
      & r_0003_0014__a_r_0003_0015__watch(R_0003_0014__A_R_0003_0015__WATCH)
      & has_inv_arg0(R_0003_0014__A_R_0003_0015__WATCH,R_0003_0020__CONNECTS)
      & has_inv_arg0(R_0003_0014__A_R_0003_0015__WATCH,R_0003_0018__COMBINES)
      & 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_0001__The_r_0003_0002__Spring_r_0003_0003__Drive(R_0003_0001__THE_R_0003_0002__SPRING_R_0003_0003__DRIVE)
      & has_inv_arg1(R_0003_0001__THE_R_0003_0002__SPRING_R_0003_0003__DRIVE,R_0003_0004__POWERED)
      & r_0003_0004__powered(R_0003_0004__POWERED)
      & has_r_0003_0005__by_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_attrib(R_0003_0007__MOTIONS,R_0003_0006__NATURAL) ) ).