39_a_seiko_9r65
An unprecedented drive system which offers quartz accuracy. This is the Spring Drive.
arc(r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system, r_0039_0002__unprecedented, attrib5).
arc(r_0039_0006__offers, r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system, arg0).
arc(r_0039_0006__offers, r_0039_0007__quartz_r_0039_0008__accuracy, arg1).
arc(r_0039_0011__is, r_0039_0010__This, arg0).
arc(r_0039_0011__is, r_0039_0012__the_r_0039_0013__Spring_r_0039_0014__Drive, prd).
fof(formula,axiom,
? [R_39_6_OFFERS,R_39_1_AN_DRIVE_SYSTEM,R_39_2_UNPRECEDENTED,R_39_7_QUARTZ_ACCURACY,R_39_11_IS,R_39_10_THIS,R_39_12_THE_SPRING_DRIVE] :
( unprecedented(R_39_2_UNPRECEDENTED)
& quartz_accuracy(R_39_7_QUARTZ_ACCURACY)
& this(R_39_10_THIS)
& the_Spring_Drive(R_39_12_THE_SPRING_DRIVE)
& offers(R_39_6_OFFERS,R_39_1_AN_DRIVE_SYSTEM,R_39_7_QUARTZ_ACCURACY)
& an_drive_system(R_39_1_AN_DRIVE_SYSTEM)
& attrib5(R_39_1_AN_DRIVE_SYSTEM,R_39_2_UNPRECEDENTED)
& is(R_39_11_IS,R_39_10_THIS,R_39_12_THE_SPRING_DRIVE) ) ).
( (IP-MAT (NP-DSC;{UNPRECEDENTED_SYSTEM} (D An;{an})
(ADJP (ADJ unprecedented;{unprecedented}))
(N drive;{drive})
(N system;{system})
(IP-REL (NP-SBJ (RPRO which;{which}))
(VBP;_Tn_ offers;{offer})
(NP-OB1 (N quartz;{quartz})
(N accuracy;{accuracy}))))
(PUNC .)
(NP-SBJ;{UNPRECEDENTED_SYSTEM} (D;_nphd_ This;{this}))
(BEP;_Ln_ is;{be})
(NP-PRD;{SPRING_DRIVE} (D the;{the})
(NPR Spring;{Spring})
(NPR Drive;{Drive}))
(PUNC .))
(ID 39_a_seiko_9r65))