Context                Previous, Next                Top


39_a_seiko_9r65
An unprecedented drive system which offers quartz accuracy. This is the Spring Drive.

%3 r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system An drive system r_0039_0002__unprecedented unprecedented r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system->r_0039_0002__unprecedented [attrib] r_0039_0006__offers offers r_0039_0006__offers->r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system [arg0] r_0039_0007__quartz_r_0039_0008__accuracy quartz accuracy r_0039_0006__offers->r_0039_0007__quartz_r_0039_0008__accuracy [arg1] r_0039_0011__is is r_0039_0010__This This r_0039_0011__is->r_0039_0010__This [arg0] r_0039_0012__the_r_0039_0013__Spring_r_0039_0014__Drive the Spring Drive r_0039_0011__is->r_0039_0012__the_r_0039_0013__Spring_r_0039_0014__Drive [prd] 
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).


%3 r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system An drive system r_0039_0002__unprecedented unprecedented r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system->r_0039_0002__unprecedented [attrib] r_0039_0006__offers offers r_0039_0006__offers->r_0039_0001__An_r_0039_0003__drive_r_0039_0004__system [arg0] r_0039_0007__quartz_r_0039_0008__accuracy quartz accuracy r_0039_0006__offers->r_0039_0007__quartz_r_0039_0008__accuracy [arg1] r_0039_0011__is is r_0039_0010__This This r_0039_0011__is->r_0039_0010__This [arg0] r_0039_0012__the_r_0039_0013__Spring_r_0039_0014__Drive the Spring Drive 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) ) ).


n39_a_seiko_9r65 n39_a_seiko_9r65_4 An n39_a_seiko_9r65_7 unprecedented n39_a_seiko_9r65_9 drive n39_a_seiko_9r65_11 system n39_a_seiko_9r65_15 which n39_a_seiko_9r65_17 offers n39_a_seiko_9r65_20 quartz n39_a_seiko_9r65_22 accuracy n39_a_seiko_9r65_24 . n39_a_seiko_9r65_27 This n39_a_seiko_9r65_29 is n39_a_seiko_9r65_32 the n39_a_seiko_9r65_34 Spring n39_a_seiko_9r65_36 Drive n39_a_seiko_9r65_38 . n39_a_seiko_9r65_1 IP-MAT n39_a_seiko_9r65_2 NP-DSC n39_a_seiko_9r65_1->n39_a_seiko_9r65_2 n39_a_seiko_9r65_23 PUNC n39_a_seiko_9r65_1->n39_a_seiko_9r65_23 n39_a_seiko_9r65_25 NP-SBJ n39_a_seiko_9r65_1->n39_a_seiko_9r65_25 n39_a_seiko_9r65_28 BEP;_Ln_ n39_a_seiko_9r65_1->n39_a_seiko_9r65_28 n39_a_seiko_9r65_30 NP-PRD n39_a_seiko_9r65_1->n39_a_seiko_9r65_30 n39_a_seiko_9r65_37 PUNC n39_a_seiko_9r65_1->n39_a_seiko_9r65_37 n39_a_seiko_9r65_3 D n39_a_seiko_9r65_2->n39_a_seiko_9r65_3 n39_a_seiko_9r65_5 ADJP n39_a_seiko_9r65_2->n39_a_seiko_9r65_5 n39_a_seiko_9r65_8 N n39_a_seiko_9r65_2->n39_a_seiko_9r65_8 n39_a_seiko_9r65_10 N n39_a_seiko_9r65_2->n39_a_seiko_9r65_10 n39_a_seiko_9r65_12 IP-REL n39_a_seiko_9r65_2->n39_a_seiko_9r65_12 n39_a_seiko_9r65_3->n39_a_seiko_9r65_4 n39_a_seiko_9r65_6 ADJ n39_a_seiko_9r65_5->n39_a_seiko_9r65_6 n39_a_seiko_9r65_6->n39_a_seiko_9r65_7 n39_a_seiko_9r65_8->n39_a_seiko_9r65_9 n39_a_seiko_9r65_10->n39_a_seiko_9r65_11 n39_a_seiko_9r65_13 NP-SBJ n39_a_seiko_9r65_12->n39_a_seiko_9r65_13 n39_a_seiko_9r65_16 VBP;_Tn_ n39_a_seiko_9r65_12->n39_a_seiko_9r65_16 n39_a_seiko_9r65_18 NP-OB1 n39_a_seiko_9r65_12->n39_a_seiko_9r65_18 n39_a_seiko_9r65_14 RPRO n39_a_seiko_9r65_13->n39_a_seiko_9r65_14 n39_a_seiko_9r65_14->n39_a_seiko_9r65_15 n39_a_seiko_9r65_16->n39_a_seiko_9r65_17 n39_a_seiko_9r65_19 N n39_a_seiko_9r65_18->n39_a_seiko_9r65_19 n39_a_seiko_9r65_21 N n39_a_seiko_9r65_18->n39_a_seiko_9r65_21 n39_a_seiko_9r65_19->n39_a_seiko_9r65_20 n39_a_seiko_9r65_21->n39_a_seiko_9r65_22 n39_a_seiko_9r65_23->n39_a_seiko_9r65_24 n39_a_seiko_9r65_26 D;_nphd_ n39_a_seiko_9r65_25->n39_a_seiko_9r65_26 n39_a_seiko_9r65_26->n39_a_seiko_9r65_27 n39_a_seiko_9r65_28->n39_a_seiko_9r65_29 n39_a_seiko_9r65_31 D n39_a_seiko_9r65_30->n39_a_seiko_9r65_31 n39_a_seiko_9r65_33 NPR n39_a_seiko_9r65_30->n39_a_seiko_9r65_33 n39_a_seiko_9r65_35 NPR n39_a_seiko_9r65_30->n39_a_seiko_9r65_35 n39_a_seiko_9r65_31->n39_a_seiko_9r65_32 n39_a_seiko_9r65_33->n39_a_seiko_9r65_34 n39_a_seiko_9r65_35->n39_a_seiko_9r65_36 n39_a_seiko_9r65_37->n39_a_seiko_9r65_38 
( (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))