TSPC 33_a_seiko

33_a_seiko_9r65
The Spring Drive is completely different from a mechanical watch in this speed-regulating unit.

( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (D The;{the})
                                 (NPR Spring;{Spring})
                                 (NPR Drive;{Drive}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADVP (ADV completely;{completely}))
                    (ADJ different;{different})
                    (PP (P-ROLE from;{from})
                        (NP (D a;{a})
                            (ADJP (ADJ mechanical;{mechanical}))
                            (N watch;{watch}))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D this;{this})
                      (ADJP (ADJ speed_<hyphen>_regulating;{speed_regulating}))
                      (N unit;{unit})))
          (PUNC .))
  (ID 33_a_seiko_9r65))

arc(r_0033_0004__is,r_0033_0001__The_r_0033_0002__Spring_r_0033_0003__Drive,arg0).
arc(r_0033_0004__is,r_0033_0006__different,prd).
arc(r_0033_0004__is,r_0033_0012__this_r_0033_0014__unit,r_0033_0011__in__nim).
arc(r_0033_0006__different,r_0033_0005__completely,qual).
arc(r_0033_0006__different,r_0033_0008__a_r_0033_0010__watch,r_0033_0007__from).
arc(r_0033_0008__a_r_0033_0010__watch,r_0033_0009__mechanical,attrib).
arc(r_0033_0012__this_r_0033_0014__unit,r_0033_0013__speed__hyphen__regulating,attrib).

fof(formula,axiom,
    ? [R_0033_0001__THE_R_0033_0002__SPRING_R_0033_0003__DRIVE,R_0033_0005__COMPLETELY,R_0033_0009__MECHANICAL,R_0033_0008__A_R_0033_0010__WATCH,R_0033_0006__DIFFERENT,R_0033_0013__SPEED__HYPHEN__REGULATING,R_0033_0012__THIS_R_0033_0014__UNIT,R_0033_0004__IS] :
      ( r_0033_0001__The_r_0033_0002__Spring_r_0033_0003__Drive(R_0033_0001__THE_R_0033_0002__SPRING_R_0033_0003__DRIVE)
      & r_0033_0005__completely(R_0033_0005__COMPLETELY)
      & r_0033_0009__mechanical(R_0033_0009__MECHANICAL)
      & r_0033_0013__speed__hyphen__regulating(R_0033_0013__SPEED__HYPHEN__REGULATING)
      & r_0033_0004__is(R_0033_0004__IS)
      & has_r_0033_0011__in__nim(R_0033_0004__IS,R_0033_0012__THIS_R_0033_0014__UNIT)
      & r_0033_0012__this_r_0033_0014__unit(R_0033_0012__THIS_R_0033_0014__UNIT)
      & has_attrib(R_0033_0012__THIS_R_0033_0014__UNIT,R_0033_0013__SPEED__HYPHEN__REGULATING)
      & has_prd(R_0033_0004__IS,R_0033_0006__DIFFERENT)
      & r_0033_0006__different(R_0033_0006__DIFFERENT)
      & has_r_0033_0007__from(R_0033_0006__DIFFERENT,R_0033_0008__A_R_0033_0010__WATCH)
      & r_0033_0008__a_r_0033_0010__watch(R_0033_0008__A_R_0033_0010__WATCH)
      & has_attrib(R_0033_0008__A_R_0033_0010__WATCH,R_0033_0009__MECHANICAL)
      & has_qual(R_0033_0006__DIFFERENT,R_0033_0005__COMPLETELY)
      & has_arg0(R_0033_0004__IS,R_0033_0001__THE_R_0033_0002__SPRING_R_0033_0003__DRIVE) ) ).