TSPC 86_a_seiko

86_a_seiko_9r65
<white circle> The movement of this watch has a structure that consistent pressure is applied on its power - transmitting wheels.

( (IP-MAT (SYM <white_circle>)
          (NP-SBJ (D The;{the})
                  (N movement;{movement})
                  (PP (P-ROLE of;{of})
                      (NP;{WATCH} (D this;{this})
                                  (N watch;{watch}))))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (D a;{a})
                  (N structure;{structure})
                  (IP-REL (C that;{that})
                          (NP-NIM *T*)
                          (NP-SBJ (ADJP (ADJ consistent;{consistent}))
                                  (N pressure;{pressure}))
                          (BEP;_cat_VePASS_ is;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (VVN;_Tn_ applied;{apply})
                                      (PP (P-ROLE on;{on})
                                          (NP (NP-GEN;{WATCH} (PRO;_genm_ its;{its}))
                                              (IP-PPL (NP-OB1 (N power;{power}))
                                                      (PUNC <hyphen>)
                                                      (VAG;_Tn_ transmitting;{transmit}))
                                              (NS wheels;{wheel}))))))
          (PUNC .))
  (ID 86_a_seiko_9r65))

arc(r_0086_0002__The_r_0086_0003__movement,r_0086_0005__this_r_0086_0006__watch,r_0086_0004__of).
arc(r_0086_0007__has,r_0086_0002__The_r_0086_0003__movement,arg0).
arc(r_0086_0007__has,r_0086_0008__a_r_0086_0009__structure,arg1).
arc(r_0086_0012__pressure,r_0086_0011__consistent,attrib).
arc(r_0086_0013__is,r_0086_0008__a_r_0086_0009__structure,inv_nim).
arc(r_0086_0013__is,r_0086_0014__applied,scope).
arc(r_0086_0014__applied,r_0086_0012__pressure,arg1).
arc(r_0086_0014__applied,r_0086_0020__wheels,r_0086_0015__on).
arc(r_0086_0014__applied,z_0086_5011___star_,arg0).
arc(r_0086_0019__transmitting,r_0086_0017__power,arg1).
arc(r_0086_0019__transmitting,r_0086_0020__wheels,inv_arg0).
arc(r_0086_0020__wheels,r_0086_0005__this_r_0086_0006__watch,gen).

fof(formula,axiom,
    ? [R_0086_0005__THIS_R_0086_0006__WATCH,R_0086_0002__THE_R_0086_0003__MOVEMENT,R_0086_0011__CONSISTENT,R_0086_0012__PRESSURE,R_0086_0017__POWER,R_0086_0019__TRANSMITTING,R_0086_0020__WHEELS,Z_0086_5011___STAR_,R_0086_0013__IS_R_0086_0014__APPLIED,R_0086_0008__A_R_0086_0009__STRUCTURE,R_0086_0007__HAS] :
      ( r_0086_0005__this_r_0086_0006__watch(R_0086_0005__THIS_R_0086_0006__WATCH)
      & r_0086_0011__consistent(R_0086_0011__CONSISTENT)
      & r_0086_0017__power(R_0086_0017__POWER)
      & z_0086_5011___star_(Z_0086_5011___STAR_)
      & r_0086_0007__has(R_0086_0007__HAS)
      & has_arg1(R_0086_0007__HAS,R_0086_0008__A_R_0086_0009__STRUCTURE)
      & r_0086_0008__a_r_0086_0009__structure(R_0086_0008__A_R_0086_0009__STRUCTURE)
      & has_inv_nim(R_0086_0008__A_R_0086_0009__STRUCTURE,R_0086_0013__IS_R_0086_0014__APPLIED)
      & r_0086_0013__is_r_0086_0014__applied(R_0086_0013__IS_R_0086_0014__APPLIED)
      & has_arg0(R_0086_0013__IS_R_0086_0014__APPLIED,Z_0086_5011___STAR_)
      & has_r_0086_0015__on(R_0086_0013__IS_R_0086_0014__APPLIED,R_0086_0020__WHEELS)
      & r_0086_0020__wheels(R_0086_0020__WHEELS)
      & has_gen(R_0086_0020__WHEELS,R_0086_0005__THIS_R_0086_0006__WATCH)
      & has_inv_arg0(R_0086_0020__WHEELS,R_0086_0019__TRANSMITTING)
      & r_0086_0019__transmitting(R_0086_0019__TRANSMITTING)
      & has_arg1(R_0086_0019__TRANSMITTING,R_0086_0017__POWER)
      & has_arg1(R_0086_0013__IS_R_0086_0014__APPLIED,R_0086_0012__PRESSURE)
      & r_0086_0012__pressure(R_0086_0012__PRESSURE)
      & has_attrib(R_0086_0012__PRESSURE,R_0086_0011__CONSISTENT)
      & has_arg0(R_0086_0007__HAS,R_0086_0002__THE_R_0086_0003__MOVEMENT)
      & r_0086_0002__The_r_0086_0003__movement(R_0086_0002__THE_R_0086_0003__MOVEMENT)
      & has_r_0086_0004__of(R_0086_0002__THE_R_0086_0003__MOVEMENT,R_0086_0005__THIS_R_0086_0006__WATCH) ) ).