Context                Previous, Next                Top


26_a_seiko_9r65
The Spring Drive is Seiko's proprietary mechanism which is made available only by SEIKO's unique combination of skills in both mechanical and electronic micro-engineering.

%3 r_0026_0004__is is r_0026_0001__The_r_0026_0002__Spring_r_0026_0003__Drive The Spring Drive r_0026_0004__is->r_0026_0001__The_r_0026_0002__Spring_r_0026_0003__Drive [arg0] r_0026_0008__mechanism mechanism r_0026_0004__is->r_0026_0008__mechanism [prd] r_0026_0005__Seiko_r_0026_0006___apos_s Seiko 's r_0026_0008__mechanism->r_0026_0005__Seiko_r_0026_0006___apos_s [gen] r_0026_0007__proprietary proprietary r_0026_0008__mechanism->r_0026_0007__proprietary [attrib] r_0026_0010__is is r_0026_0011__made made r_0026_0010__is->r_0026_0011__made [scope] r_0026_0011__made->r_0026_0008__mechanism [arg1] r_0026_0012__available available r_0026_0011__made->r_0026_0012__available [prd] r_0026_0013__only only r_0026_0011__made->r_0026_0013__only [nim] r_0026_0018__combination combination r_0026_0011__made->r_0026_0018__combination [arg0] r_0026_0015__SEIKO_r_0026_0016___apos_s SEIKO 's r_0026_0018__combination->r_0026_0015__SEIKO_r_0026_0016___apos_s [gen] r_0026_0017__unique unique r_0026_0018__combination->r_0026_0017__unique [attrib] r_0026_0020__skills skills r_0026_0018__combination->r_0026_0020__skills of r_0026_0026__micro__hyphen__engineering micro-engineering r_0026_0020__skills->r_0026_0026__micro__hyphen__engineering in r_0026_0022__both_r_0026_0024__and both and r_0026_0026__micro__hyphen__engineering->r_0026_0022__both_r_0026_0024__and [attrib] r_0026_0023__mechanical mechanical r_0026_0022__both_r_0026_0024__and->r_0026_0023__mechanical [conj1] r_0026_0025__electronic electronic r_0026_0022__both_r_0026_0024__and->r_0026_0025__electronic [conj2] 
arc(r_0026_0004__is, r_0026_0001__The_r_0026_0002__Spring_r_0026_0003__Drive, arg0).
arc(r_0026_0004__is, r_0026_0008__mechanism, prd).
arc(r_0026_0008__mechanism, r_0026_0005__Seiko_r_0026_0006___apos_s, gen).
arc(r_0026_0008__mechanism, r_0026_0007__proprietary, attrib17).
arc(r_0026_0010__is, r_0026_0011__made, scope).
arc(r_0026_0011__made, r_0026_0008__mechanism, arg1).
arc(r_0026_0011__made, r_0026_0012__available, prd).
arc(r_0026_0011__made, r_0026_0013__only, nim34).
arc(r_0026_0011__made, r_0026_0018__combination, arg0).
arc(r_0026_0018__combination, r_0026_0015__SEIKO_r_0026_0016___apos_s, gen).
arc(r_0026_0018__combination, r_0026_0017__unique, attrib46).
arc(r_0026_0018__combination, r_0026_0020__skills, r_0026_0019__of).
arc(r_0026_0020__skills, r_0026_0026__micro__hyphen__engineering, r_0026_0021__in).
arc(r_0026_0022__both_r_0026_0024__and, r_0026_0023__mechanical, conj1).
arc(r_0026_0022__both_r_0026_0024__and, r_0026_0025__electronic, conj2).
arc(r_0026_0026__micro__hyphen__engineering, r_0026_0022__both_r_0026_0024__and, attrib61).


%3 r_0026_0004__is is r_0026_0001__The_r_0026_0002__Spring_r_0026_0003__Drive The Spring Drive r_0026_0004__is->r_0026_0001__The_r_0026_0002__Spring_r_0026_0003__Drive [arg0] r_0026_0008__mechanism mechanism r_0026_0004__is->r_0026_0008__mechanism [prd] r_0026_0005__Seiko_r_0026_0006___apos_s Seiko 's r_0026_0008__mechanism->r_0026_0005__Seiko_r_0026_0006___apos_s [gen] r_0026_0007__proprietary proprietary r_0026_0008__mechanism->r_0026_0007__proprietary [attrib] r_0026_0010__is_r_0026_0011__made is made r_0026_0010__is_r_0026_0011__made->r_0026_0008__mechanism [arg1] r_0026_0012__available available r_0026_0010__is_r_0026_0011__made->r_0026_0012__available [prd] r_0026_0013__only only r_0026_0010__is_r_0026_0011__made->r_0026_0013__only [nim] r_0026_0018__combination combination r_0026_0010__is_r_0026_0011__made->r_0026_0018__combination [arg0] r_0026_0015__SEIKO_r_0026_0016___apos_s SEIKO 's r_0026_0018__combination->r_0026_0015__SEIKO_r_0026_0016___apos_s [gen] r_0026_0017__unique unique r_0026_0018__combination->r_0026_0017__unique [attrib] r_0026_0020__skills skills r_0026_0018__combination->r_0026_0020__skills of r_0026_0026__micro__hyphen__engineering micro-engineering r_0026_0020__skills->r_0026_0026__micro__hyphen__engineering in r_0026_0022__both_r_0026_0024__and both and r_0026_0026__micro__hyphen__engineering->r_0026_0022__both_r_0026_0024__and [attrib] r_0026_0023__mechanical mechanical r_0026_0022__both_r_0026_0024__and->r_0026_0023__mechanical [conj1] r_0026_0025__electronic electronic r_0026_0022__both_r_0026_0024__and->r_0026_0025__electronic [conj2] 
fof(formula,axiom,
    ? [R_26_4_IS,R_26_1_THE_SPRING_DRIVE,R_26_10_IS_MADE,R_26_18_COMBINATION,R_26_17_UNIQUE,R_26_15_SEIKO_APOS_S,R_26_20_SKILLS,R_26_26_MICRO_HYPHEN_ENGINEERING,R_26_22_BOTH_AND,R_26_23_MECHANICAL,R_26_25_ELECTRONIC,R_26_8_MECHANISM,R_26_7_PROPRIETARY,R_26_5_SEIKO_APOS_S,R_26_13_ONLY,R_26_12_AVAILABLE] :
      ( the_Spring_Drive(R_26_1_THE_SPRING_DRIVE)
      & unique(R_26_17_UNIQUE)
      & sEIKO_apos_s(R_26_15_SEIKO_APOS_S)
      & mechanical(R_26_23_MECHANICAL)
      & electronic(R_26_25_ELECTRONIC)
      & proprietary(R_26_7_PROPRIETARY)
      & seiko_apos_s(R_26_5_SEIKO_APOS_S)
      & only(R_26_13_ONLY)
      & available(R_26_12_AVAILABLE)
      & is(R_26_4_IS,R_26_1_THE_SPRING_DRIVE,R_26_8_MECHANISM)
      & mechanism(R_26_8_MECHANISM)
      & attrib17(R_26_8_MECHANISM,R_26_7_PROPRIETARY)
      & gen(R_26_8_MECHANISM,R_26_5_SEIKO_APOS_S)
      & is_made(R_26_10_IS_MADE,R_26_18_COMBINATION,R_26_8_MECHANISM,R_26_12_AVAILABLE)
      & combination(R_26_18_COMBINATION)
      & attrib46(R_26_18_COMBINATION,R_26_17_UNIQUE)
      & gen(R_26_18_COMBINATION,R_26_15_SEIKO_APOS_S)
      & of(R_26_18_COMBINATION,R_26_20_SKILLS)
      & skills(R_26_20_SKILLS)
      & in(R_26_20_SKILLS,R_26_26_MICRO_HYPHEN_ENGINEERING)
      & micro_hyphen_engineering(R_26_26_MICRO_HYPHEN_ENGINEERING)
      & attrib61(R_26_26_MICRO_HYPHEN_ENGINEERING,R_26_22_BOTH_AND)
      & both_and(R_26_22_BOTH_AND)
      & conj1(R_26_22_BOTH_AND,R_26_23_MECHANICAL)
      & conj2(R_26_22_BOTH_AND,R_26_25_ELECTRONIC)
      & nim34(R_26_10_IS_MADE,R_26_13_ONLY) ) ).


n26_a_seiko_9r65 n26_a_seiko_9r65_4 The n26_a_seiko_9r65_6 Spring n26_a_seiko_9r65_8 Drive n26_a_seiko_9r65_10 is n26_a_seiko_9r65_14 Seiko n26_a_seiko_9r65_16 's n26_a_seiko_9r65_19 proprietary n26_a_seiko_9r65_21 mechanism n26_a_seiko_9r65_25 which n26_a_seiko_9r65_27 is n26_a_seiko_9r65_30 made n26_a_seiko_9r65_33 available n26_a_seiko_9r65_36 only n26_a_seiko_9r65_39 by n26_a_seiko_9r65_43 SEIKO n26_a_seiko_9r65_45 's n26_a_seiko_9r65_48 unique n26_a_seiko_9r65_50 combination n26_a_seiko_9r65_53 of n26_a_seiko_9r65_56 skills n26_a_seiko_9r65_59 in n26_a_seiko_9r65_64 both n26_a_seiko_9r65_67 mechanical n26_a_seiko_9r65_70 and n26_a_seiko_9r65_73 electronic n26_a_seiko_9r65_75 micro-engineering n26_a_seiko_9r65_77 . n26_a_seiko_9r65_1 IP-MAT n26_a_seiko_9r65_2 NP-SBJ n26_a_seiko_9r65_1->n26_a_seiko_9r65_2 n26_a_seiko_9r65_9 BEP;_Ln_ n26_a_seiko_9r65_1->n26_a_seiko_9r65_9 n26_a_seiko_9r65_11 NP-PRD n26_a_seiko_9r65_1->n26_a_seiko_9r65_11 n26_a_seiko_9r65_76 PUNC n26_a_seiko_9r65_1->n26_a_seiko_9r65_76 n26_a_seiko_9r65_3 D n26_a_seiko_9r65_2->n26_a_seiko_9r65_3 n26_a_seiko_9r65_5 NPR n26_a_seiko_9r65_2->n26_a_seiko_9r65_5 n26_a_seiko_9r65_7 NPR n26_a_seiko_9r65_2->n26_a_seiko_9r65_7 n26_a_seiko_9r65_3->n26_a_seiko_9r65_4 n26_a_seiko_9r65_5->n26_a_seiko_9r65_6 n26_a_seiko_9r65_7->n26_a_seiko_9r65_8 n26_a_seiko_9r65_9->n26_a_seiko_9r65_10 n26_a_seiko_9r65_12 NP-GEN n26_a_seiko_9r65_11->n26_a_seiko_9r65_12 n26_a_seiko_9r65_17 ADJP n26_a_seiko_9r65_11->n26_a_seiko_9r65_17 n26_a_seiko_9r65_20 N n26_a_seiko_9r65_11->n26_a_seiko_9r65_20 n26_a_seiko_9r65_22 IP-REL n26_a_seiko_9r65_11->n26_a_seiko_9r65_22 n26_a_seiko_9r65_13 NPR n26_a_seiko_9r65_12->n26_a_seiko_9r65_13 n26_a_seiko_9r65_15 GENM n26_a_seiko_9r65_12->n26_a_seiko_9r65_15 n26_a_seiko_9r65_13->n26_a_seiko_9r65_14 n26_a_seiko_9r65_15->n26_a_seiko_9r65_16 n26_a_seiko_9r65_18 ADJ n26_a_seiko_9r65_17->n26_a_seiko_9r65_18 n26_a_seiko_9r65_18->n26_a_seiko_9r65_19 n26_a_seiko_9r65_20->n26_a_seiko_9r65_21 n26_a_seiko_9r65_23 NP-SBJ n26_a_seiko_9r65_22->n26_a_seiko_9r65_23 n26_a_seiko_9r65_26 BEP;_cat_VePASS_ n26_a_seiko_9r65_22->n26_a_seiko_9r65_26 n26_a_seiko_9r65_28 IP-PPL-CAT n26_a_seiko_9r65_22->n26_a_seiko_9r65_28 n26_a_seiko_9r65_24 RPRO n26_a_seiko_9r65_23->n26_a_seiko_9r65_24 n26_a_seiko_9r65_24->n26_a_seiko_9r65_25 n26_a_seiko_9r65_26->n26_a_seiko_9r65_27 n26_a_seiko_9r65_29 VVN;_Cn.a_ n26_a_seiko_9r65_28->n26_a_seiko_9r65_29 n26_a_seiko_9r65_31 ADJP-PRD n26_a_seiko_9r65_28->n26_a_seiko_9r65_31 n26_a_seiko_9r65_34 ADVP-NIM n26_a_seiko_9r65_28->n26_a_seiko_9r65_34 n26_a_seiko_9r65_37 PP-LGS n26_a_seiko_9r65_28->n26_a_seiko_9r65_37 n26_a_seiko_9r65_29->n26_a_seiko_9r65_30 n26_a_seiko_9r65_32 ADJ n26_a_seiko_9r65_31->n26_a_seiko_9r65_32 n26_a_seiko_9r65_32->n26_a_seiko_9r65_33 n26_a_seiko_9r65_35 ADV n26_a_seiko_9r65_34->n26_a_seiko_9r65_35 n26_a_seiko_9r65_35->n26_a_seiko_9r65_36 n26_a_seiko_9r65_38 P-ROLE;_lgs_ n26_a_seiko_9r65_37->n26_a_seiko_9r65_38 n26_a_seiko_9r65_40 NP n26_a_seiko_9r65_37->n26_a_seiko_9r65_40 n26_a_seiko_9r65_38->n26_a_seiko_9r65_39 n26_a_seiko_9r65_41 NP-GEN n26_a_seiko_9r65_40->n26_a_seiko_9r65_41 n26_a_seiko_9r65_46 ADJP n26_a_seiko_9r65_40->n26_a_seiko_9r65_46 n26_a_seiko_9r65_49 N n26_a_seiko_9r65_40->n26_a_seiko_9r65_49 n26_a_seiko_9r65_51 PP n26_a_seiko_9r65_40->n26_a_seiko_9r65_51 n26_a_seiko_9r65_42 NPR n26_a_seiko_9r65_41->n26_a_seiko_9r65_42 n26_a_seiko_9r65_44 GENM n26_a_seiko_9r65_41->n26_a_seiko_9r65_44 n26_a_seiko_9r65_42->n26_a_seiko_9r65_43 n26_a_seiko_9r65_44->n26_a_seiko_9r65_45 n26_a_seiko_9r65_47 ADJ n26_a_seiko_9r65_46->n26_a_seiko_9r65_47 n26_a_seiko_9r65_47->n26_a_seiko_9r65_48 n26_a_seiko_9r65_49->n26_a_seiko_9r65_50 n26_a_seiko_9r65_52 P-ROLE n26_a_seiko_9r65_51->n26_a_seiko_9r65_52 n26_a_seiko_9r65_54 NP n26_a_seiko_9r65_51->n26_a_seiko_9r65_54 n26_a_seiko_9r65_52->n26_a_seiko_9r65_53 n26_a_seiko_9r65_55 NS n26_a_seiko_9r65_54->n26_a_seiko_9r65_55 n26_a_seiko_9r65_57 PP n26_a_seiko_9r65_54->n26_a_seiko_9r65_57 n26_a_seiko_9r65_55->n26_a_seiko_9r65_56 n26_a_seiko_9r65_58 P-ROLE n26_a_seiko_9r65_57->n26_a_seiko_9r65_58 n26_a_seiko_9r65_60 NP n26_a_seiko_9r65_57->n26_a_seiko_9r65_60 n26_a_seiko_9r65_58->n26_a_seiko_9r65_59 n26_a_seiko_9r65_61 ADJP n26_a_seiko_9r65_60->n26_a_seiko_9r65_61 n26_a_seiko_9r65_74 N n26_a_seiko_9r65_60->n26_a_seiko_9r65_74 n26_a_seiko_9r65_62 AJLYR n26_a_seiko_9r65_61->n26_a_seiko_9r65_62 n26_a_seiko_9r65_63 CONJ n26_a_seiko_9r65_62->n26_a_seiko_9r65_63 n26_a_seiko_9r65_65 AJLYR n26_a_seiko_9r65_62->n26_a_seiko_9r65_65 n26_a_seiko_9r65_68 CONJP n26_a_seiko_9r65_62->n26_a_seiko_9r65_68 n26_a_seiko_9r65_63->n26_a_seiko_9r65_64 n26_a_seiko_9r65_66 ADJ n26_a_seiko_9r65_65->n26_a_seiko_9r65_66 n26_a_seiko_9r65_66->n26_a_seiko_9r65_67 n26_a_seiko_9r65_69 CONJ n26_a_seiko_9r65_68->n26_a_seiko_9r65_69 n26_a_seiko_9r65_71 AJLYR n26_a_seiko_9r65_68->n26_a_seiko_9r65_71 n26_a_seiko_9r65_69->n26_a_seiko_9r65_70 n26_a_seiko_9r65_72 ADJ n26_a_seiko_9r65_71->n26_a_seiko_9r65_72 n26_a_seiko_9r65_72->n26_a_seiko_9r65_73 n26_a_seiko_9r65_74->n26_a_seiko_9r65_75 n26_a_seiko_9r65_76->n26_a_seiko_9r65_77 
( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (D The;{the})
                                 (NPR Spring;{Spring})
                                 (NPR Drive;{Drive}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NP-GEN;{ORGANIZATION} (NPR Seiko;{Seiko})
                                         (GENM <apos>s))
                  (ADJP (ADJ proprietary;{proprietary}))
                  (N mechanism;{mechanism})
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (BEP;_cat_VePASS_ is;{be})
                          (IP-PPL-CAT (VVN;_Cn.a_ made;{make})
                                      (ADJP-PRD (ADJ available;{available}))
                                      (ADVP-NIM (ADV only;{only}))
                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                              (NP (NP-GEN;{ORGANIZATION} (NPR SEIKO;{SEIKO})
                                                                         (GENM <apos>s))
                                                  (ADJP (ADJ unique;{unique}))
                                                  (N combination;{combination})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NS skills;{skill})
                                                          (PP (P-ROLE in;{in})
                                                              (NP (ADJP (AJLYR (CONJ both;{both})
                                                                               (AJLYR (ADJ mechanical;{mechanical}))
                                                                               (CONJP (CONJ and;{and})
                                                                                      (AJLYR (ADJ electronic;{electronic})))))
                                                                  (N micro_<hyphen>_engineering;{micro_engineering}))))))))))
          (PUNC .))
  (ID 26_a_seiko_9r65))