TSPC 40_a_seiko

40_a_seiko_9r65
Here is the step-by-step description of the Spring Drive in an easy-to-understand manner.

( (IP-MAT (ADVP-TPC-CLR (ADV Here;{here}))
          (BEP;_Ip_ is;{be[here]})
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ step_<hyphen>_by_<hyphen>_step;{step_by_step}))
                  (N description;{description})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NPR Spring;{Spring})
                          (NPR Drive;{Drive})))
                  (PP (P-ROLE in;{in})
                      (NP (D an;{an})
                          (ADJP (ADJ easy_<hyphen>_to_<hyphen>_understand;{easy_to_understand}))
                          (N manner;{manner}))))
          (PUNC .))
  (ID 40_a_seiko_9r65))

arc(r_0040_0001__Here_r_0040_0002__is,r_0040_0003__the_r_0040_0005__description,arg0).
arc(r_0040_0003__the_r_0040_0005__description,r_0040_0004__step__hyphen__by__hyphen__step,attrib).
arc(r_0040_0003__the_r_0040_0005__description,r_0040_0007__the_r_0040_0008__Spring_r_0040_0009__Drive,r_0040_0006__of).
arc(r_0040_0003__the_r_0040_0005__description,r_0040_0011__an_r_0040_0013__manner,r_0040_0010__in).
arc(r_0040_0011__an_r_0040_0013__manner,r_0040_0012__easy__hyphen__to__hyphen__understand,attrib).

fof(formula,axiom,
    ? [R_0040_0004__STEP__HYPHEN__BY__HYPHEN__STEP,R_0040_0007__THE_R_0040_0008__SPRING_R_0040_0009__DRIVE,R_0040_0012__EASY__HYPHEN__TO__HYPHEN__UNDERSTAND,R_0040_0011__AN_R_0040_0013__MANNER,R_0040_0003__THE_R_0040_0005__DESCRIPTION,R_0040_0001__HERE_R_0040_0002__IS] :
      ( r_0040_0004__step__hyphen__by__hyphen__step(R_0040_0004__STEP__HYPHEN__BY__HYPHEN__STEP)
      & r_0040_0007__the_r_0040_0008__Spring_r_0040_0009__Drive(R_0040_0007__THE_R_0040_0008__SPRING_R_0040_0009__DRIVE)
      & r_0040_0012__easy__hyphen__to__hyphen__understand(R_0040_0012__EASY__HYPHEN__TO__HYPHEN__UNDERSTAND)
      & r_0040_0001__Here_r_0040_0002__is(R_0040_0001__HERE_R_0040_0002__IS)
      & has_arg0(R_0040_0001__HERE_R_0040_0002__IS,R_0040_0003__THE_R_0040_0005__DESCRIPTION)
      & r_0040_0003__the_r_0040_0005__description(R_0040_0003__THE_R_0040_0005__DESCRIPTION)
      & has_r_0040_0010__in(R_0040_0003__THE_R_0040_0005__DESCRIPTION,R_0040_0011__AN_R_0040_0013__MANNER)
      & r_0040_0011__an_r_0040_0013__manner(R_0040_0011__AN_R_0040_0013__MANNER)
      & has_attrib(R_0040_0011__AN_R_0040_0013__MANNER,R_0040_0012__EASY__HYPHEN__TO__HYPHEN__UNDERSTAND)
      & has_r_0040_0006__of(R_0040_0003__THE_R_0040_0005__DESCRIPTION,R_0040_0007__THE_R_0040_0008__SPRING_R_0040_0009__DRIVE)
      & has_attrib(R_0040_0003__THE_R_0040_0005__DESCRIPTION,R_0040_0004__STEP__HYPHEN__BY__HYPHEN__STEP) ) ).