TSPC 82_a_seiko

82_a_seiko_9r65
Five full rotations of the crown will provide the power to run the watch for approximately ten hours.

( (IP-MAT (NP-SBJ (NUM Five;{five})
                  (ADJP (ADJ full;{full}))
                  (NS rotations;{rotation})
                  (PP (P-ROLE of;{of})
                      (NP;{CROWN} (D the;{the})
                                  (N crown;{crown}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ provide;{provide})
                      (NP-OB1 (D the;{the})
                              (N power;{power})
                              (IP-INF-REL (NP-SBJ *T*)
                                          (TO to;{to})
                                          (VB;_Tn.pr_ run;{run})
                                          (NP-OB1 (D the;{the})
                                                  (N watch;{watch}))
                                          (PP-NIM (P-ROLE for;{for})
                                                  (NP (ADVP (ADV approximately;{approximately}))
                                                      (NUM ten;{ten})
                                                      (NS hours;{hour}))))))
          (PUNC .))
  (ID 82_a_seiko_9r65))

arc(r_0082_0001__Five_r_0082_0003__rotations,r_0082_0002__full,attrib).
arc(r_0082_0001__Five_r_0082_0003__rotations,r_0082_0005__the_r_0082_0006__crown,r_0082_0004__of).
arc(r_0082_0007__will,r_0082_0008__provide,scope).
arc(r_0082_0008__provide,r_0082_0001__Five_r_0082_0003__rotations,arg0).
arc(r_0082_0008__provide,r_0082_0009__the_r_0082_0010__power,arg1).
arc(r_0082_0012__run,r_0082_0009__the_r_0082_0010__power,inv_arg0).
arc(r_0082_0012__run,r_0082_0013__the_r_0082_0014__watch,arg1).
arc(r_0082_0012__run,r_0082_0017__ten_r_0082_0018__hours,r_0082_0015__for__nim).
arc(r_0082_0017__ten_r_0082_0018__hours,r_0082_0016__approximately,qual).

fof(formula,axiom,
    ? [R_0082_0002__FULL,R_0082_0005__THE_R_0082_0006__CROWN,R_0082_0001__FIVE_R_0082_0003__ROTATIONS,R_0082_0013__THE_R_0082_0014__WATCH,R_0082_0016__APPROXIMATELY,R_0082_0017__TEN_R_0082_0018__HOURS,R_0082_0012__RUN,R_0082_0009__THE_R_0082_0010__POWER,R_0082_0007__WILL_R_0082_0008__PROVIDE] :
      ( r_0082_0002__full(R_0082_0002__FULL)
      & r_0082_0005__the_r_0082_0006__crown(R_0082_0005__THE_R_0082_0006__CROWN)
      & r_0082_0013__the_r_0082_0014__watch(R_0082_0013__THE_R_0082_0014__WATCH)
      & r_0082_0016__approximately(R_0082_0016__APPROXIMATELY)
      & r_0082_0007__will_r_0082_0008__provide(R_0082_0007__WILL_R_0082_0008__PROVIDE)
      & has_arg1(R_0082_0007__WILL_R_0082_0008__PROVIDE,R_0082_0009__THE_R_0082_0010__POWER)
      & r_0082_0009__the_r_0082_0010__power(R_0082_0009__THE_R_0082_0010__POWER)
      & has_inv_arg0(R_0082_0009__THE_R_0082_0010__POWER,R_0082_0012__RUN)
      & r_0082_0012__run(R_0082_0012__RUN)
      & has_r_0082_0015__for__nim(R_0082_0012__RUN,R_0082_0017__TEN_R_0082_0018__HOURS)
      & r_0082_0017__ten_r_0082_0018__hours(R_0082_0017__TEN_R_0082_0018__HOURS)
      & has_qual(R_0082_0017__TEN_R_0082_0018__HOURS,R_0082_0016__APPROXIMATELY)
      & has_arg1(R_0082_0012__RUN,R_0082_0013__THE_R_0082_0014__WATCH)
      & has_arg0(R_0082_0007__WILL_R_0082_0008__PROVIDE,R_0082_0001__FIVE_R_0082_0003__ROTATIONS)
      & r_0082_0001__Five_r_0082_0003__rotations(R_0082_0001__FIVE_R_0082_0003__ROTATIONS)
      & has_r_0082_0004__of(R_0082_0001__FIVE_R_0082_0003__ROTATIONS,R_0082_0005__THE_R_0082_0006__CROWN)
      & has_attrib(R_0082_0001__FIVE_R_0082_0003__ROTATIONS,R_0082_0002__FULL) ) ).