TSPC 23_a_seiko

23_a_seiko_9r65
In one word, this is a “mechanical watch having accuracy equivalent to a quartz watch.”

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NUM one;{one})
                      (N word;{word})))
          (PUNC ,)
          (NP-SBJ;{SPRING_DRIVE} (D;_nphd_ this;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (PULQ <ldquo>)
                  (ADJP (ADJ mechanical;{mechanical}))
                  (N watch;{watch})
                  (IP-PPL (HAG;_Tn_ having;{have})
                          (NP-OB1 (N accuracy;{accuracy})
                                  (ADJP (ADJ equivalent;{equivalent})
                                        (PP (P-ROLE to;{to})
                                            (NP (D a;{a})
                                                (N quartz;{quartz})
                                                (N watch;{watch})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 23_a_seiko_9r65))

arc(r_0023_0006__is,r_0023_0002__one_r_0023_0003__word,r_0023_0001__In__nim).
arc(r_0023_0006__is,r_0023_0005__this,arg0).
arc(r_0023_0006__is,r_0023_0007__a_r_0023_0010__watch,prd).
arc(r_0023_0007__a_r_0023_0010__watch,r_0023_0009__mechanical,attrib).
arc(r_0023_0011__having,r_0023_0007__a_r_0023_0010__watch,inv_arg0).
arc(r_0023_0011__having,r_0023_0012__accuracy,arg1).
arc(r_0023_0012__accuracy,r_0023_0013__equivalent,attrib).
arc(r_0023_0013__equivalent,r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch,r_0023_0014__to).

fof(formula,axiom,
    ? [R_0023_0002__ONE_R_0023_0003__WORD,R_0023_0005__THIS,R_0023_0009__MECHANICAL,R_0023_0015__A_R_0023_0016__QUARTZ_R_0023_0017__WATCH,R_0023_0013__EQUIVALENT,R_0023_0012__ACCURACY,R_0023_0011__HAVING,R_0023_0007__A_R_0023_0010__WATCH,R_0023_0006__IS] :
      ( r_0023_0002__one_r_0023_0003__word(R_0023_0002__ONE_R_0023_0003__WORD)
      & r_0023_0005__this(R_0023_0005__THIS)
      & r_0023_0009__mechanical(R_0023_0009__MECHANICAL)
      & r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch(R_0023_0015__A_R_0023_0016__QUARTZ_R_0023_0017__WATCH)
      & r_0023_0006__is(R_0023_0006__IS)
      & has_prd(R_0023_0006__IS,R_0023_0007__A_R_0023_0010__WATCH)
      & r_0023_0007__a_r_0023_0010__watch(R_0023_0007__A_R_0023_0010__WATCH)
      & has_inv_arg0(R_0023_0007__A_R_0023_0010__WATCH,R_0023_0011__HAVING)
      & r_0023_0011__having(R_0023_0011__HAVING)
      & has_arg1(R_0023_0011__HAVING,R_0023_0012__ACCURACY)
      & r_0023_0012__accuracy(R_0023_0012__ACCURACY)
      & has_attrib(R_0023_0012__ACCURACY,R_0023_0013__EQUIVALENT)
      & r_0023_0013__equivalent(R_0023_0013__EQUIVALENT)
      & has_r_0023_0014__to(R_0023_0013__EQUIVALENT,R_0023_0015__A_R_0023_0016__QUARTZ_R_0023_0017__WATCH)
      & has_attrib(R_0023_0007__A_R_0023_0010__WATCH,R_0023_0009__MECHANICAL)
      & has_arg0(R_0023_0006__IS,R_0023_0005__THIS)
      & has_r_0023_0001__In__nim(R_0023_0006__IS,R_0023_0002__ONE_R_0023_0003__WORD) ) ).