Context                Previous, Next                Top


67_a_seiko_9r65
In this regard, the Spring Drive is superior to mechanical watches in impact resistance because it adopts a crystal oscillator not a balance.

%3 r_0067_0008__is is r_0067_0002__this_r_0067_0003__regard this regard r_0067_0008__is->r_0067_0002__this_r_0067_0003__regard In [nim] r_0067_0005__the_r_0067_0006__Spring_r_0067_0007__Drive the Spring Drive r_0067_0008__is->r_0067_0005__the_r_0067_0006__Spring_r_0067_0007__Drive [arg0] r_0067_0009__superior superior r_0067_0008__is->r_0067_0009__superior [prd] r_0067_0014__impact_r_0067_0015__resistance impact resistance r_0067_0008__is->r_0067_0014__impact_r_0067_0015__resistance in [nim] r_0067_0012__watches watches r_0067_0009__superior->r_0067_0012__watches to r_0067_0011__mechanical mechanical r_0067_0012__watches->r_0067_0011__mechanical [attrib] r_0067_0016__because because r_0067_0016__because->r_0067_0008__is [scope] r_0067_0018__adopts adopts r_0067_0016__because->r_0067_0018__adopts [restriction] r_0067_0018__adopts->r_0067_0005__the_r_0067_0006__Spring_r_0067_0007__Drive [arg0] r_0067_0022__not not r_0067_0018__adopts->r_0067_0022__not [arg1] r_0067_0019__a_r_0067_0020__crystal_r_0067_0021__oscillator a crystal oscillator r_0067_0022__not->r_0067_0019__a_r_0067_0020__crystal_r_0067_0021__oscillator [conj1] r_0067_0023__a_r_0067_0024__balance a balance r_0067_0022__not->r_0067_0023__a_r_0067_0024__balance [conj2] 
arc(r_0067_0008__is, r_0067_0002__this_r_0067_0003__regard, r_0067_0001__In_nim5).
arc(r_0067_0008__is, r_0067_0005__the_r_0067_0006__Spring_r_0067_0007__Drive, arg0).
arc(r_0067_0008__is, r_0067_0009__superior, prd).
arc(r_0067_0008__is, r_0067_0014__impact_r_0067_0015__resistance, r_0067_0013__in_nim36).
arc(r_0067_0009__superior, r_0067_0012__watches, r_0067_0010__to).
arc(r_0067_0012__watches, r_0067_0011__mechanical, attrib28).
arc(r_0067_0016__because, r_0067_0008__is, scope).
arc(r_0067_0016__because, r_0067_0018__adopts, restriction).
arc(r_0067_0018__adopts, r_0067_0005__the_r_0067_0006__Spring_r_0067_0007__Drive, arg0).
arc(r_0067_0018__adopts, r_0067_0022__not, arg1).
arc(r_0067_0022__not, r_0067_0019__a_r_0067_0020__crystal_r_0067_0021__oscillator, conj1).
arc(r_0067_0022__not, r_0067_0023__a_r_0067_0024__balance, conj2).


%3 r_0067_0008__is is r_0067_0002__this_r_0067_0003__regard this regard r_0067_0008__is->r_0067_0002__this_r_0067_0003__regard In [nim] r_0067_0005__the_r_0067_0006__Spring_r_0067_0007__Drive the Spring Drive r_0067_0008__is->r_0067_0005__the_r_0067_0006__Spring_r_0067_0007__Drive [arg0] r_0067_0009__superior superior r_0067_0008__is->r_0067_0009__superior [prd] r_0067_0014__impact_r_0067_0015__resistance impact resistance r_0067_0008__is->r_0067_0014__impact_r_0067_0015__resistance in [nim] r_0067_0012__watches watches r_0067_0009__superior->r_0067_0012__watches to r_0067_0011__mechanical mechanical r_0067_0012__watches->r_0067_0011__mechanical [attrib] r_0067_0016__because because r_0067_0016__because->r_0067_0008__is [conj2] r_0067_0018__adopts adopts r_0067_0016__because->r_0067_0018__adopts [conj1] r_0067_0018__adopts->r_0067_0005__the_r_0067_0006__Spring_r_0067_0007__Drive [arg0] r_0067_0022__not not r_0067_0018__adopts->r_0067_0022__not [arg1] r_0067_0019__a_r_0067_0020__crystal_r_0067_0021__oscillator a crystal oscillator r_0067_0022__not->r_0067_0019__a_r_0067_0020__crystal_r_0067_0021__oscillator [conj1] r_0067_0023__a_r_0067_0024__balance a balance r_0067_0022__not->r_0067_0023__a_r_0067_0024__balance [conj2] 
fof(formula,axiom,
    ? [R_67_16_BECAUSE,R_67_18_ADOPTS,R_67_22_NOT,R_67_19_A_CRYSTAL_OSCILLATOR,R_67_23_A_BALANCE,R_67_8_IS,R_67_5_THE_SPRING_DRIVE,R_67_9_SUPERIOR,R_67_12_WATCHES,R_67_11_MECHANICAL,R_67_2_THIS_REGARD,R_67_14_IMPACT_RESISTANCE] :
      ( a_crystal_oscillator(R_67_19_A_CRYSTAL_OSCILLATOR)
      & a_balance(R_67_23_A_BALANCE)
      & the_Spring_Drive(R_67_5_THE_SPRING_DRIVE)
      & mechanical(R_67_11_MECHANICAL)
      & this_regard(R_67_2_THIS_REGARD)
      & impact_resistance(R_67_14_IMPACT_RESISTANCE)
      & because(R_67_16_BECAUSE)
      & conj1(R_67_16_BECAUSE,R_67_18_ADOPTS)
      & adopts(R_67_18_ADOPTS,R_67_5_THE_SPRING_DRIVE,R_67_22_NOT)
      & not(R_67_22_NOT)
      & conj1(R_67_22_NOT,R_67_19_A_CRYSTAL_OSCILLATOR)
      & conj2(R_67_22_NOT,R_67_23_A_BALANCE)
      & conj2(R_67_16_BECAUSE,R_67_8_IS)
      & is(R_67_8_IS,R_67_5_THE_SPRING_DRIVE,R_67_9_SUPERIOR)
      & superior(R_67_9_SUPERIOR)
      & to(R_67_9_SUPERIOR,R_67_12_WATCHES)
      & watches(R_67_12_WATCHES)
      & attrib28(R_67_12_WATCHES,R_67_11_MECHANICAL)
      & in_nim5(R_67_8_IS,R_67_2_THIS_REGARD)
      & in_nim36(R_67_8_IS,R_67_14_IMPACT_RESISTANCE) ) ).


n67_a_seiko_9r65 n67_a_seiko_9r65_4 In n67_a_seiko_9r65_7 this n67_a_seiko_9r65_9 regard n67_a_seiko_9r65_11 , n67_a_seiko_9r65_14 the n67_a_seiko_9r65_16 Spring n67_a_seiko_9r65_18 Drive n67_a_seiko_9r65_20 is n67_a_seiko_9r65_23 superior n67_a_seiko_9r65_26 to n67_a_seiko_9r65_30 mechanical n67_a_seiko_9r65_32 watches n67_a_seiko_9r65_35 in n67_a_seiko_9r65_38 impact n67_a_seiko_9r65_40 resistance n67_a_seiko_9r65_43 because n67_a_seiko_9r65_47 it n67_a_seiko_9r65_49 adopts n67_a_seiko_9r65_54 a n67_a_seiko_9r65_56 crystal n67_a_seiko_9r65_58 oscillator n67_a_seiko_9r65_61 not n67_a_seiko_9r65_64 a n67_a_seiko_9r65_66 balance n67_a_seiko_9r65_68 . n67_a_seiko_9r65_1 IP-MAT n67_a_seiko_9r65_2 PP-NIM n67_a_seiko_9r65_1->n67_a_seiko_9r65_2 n67_a_seiko_9r65_10 PUNC n67_a_seiko_9r65_1->n67_a_seiko_9r65_10 n67_a_seiko_9r65_12 NP-SBJ n67_a_seiko_9r65_1->n67_a_seiko_9r65_12 n67_a_seiko_9r65_19 BEP;_La_ n67_a_seiko_9r65_1->n67_a_seiko_9r65_19 n67_a_seiko_9r65_21 ADJP-PRD n67_a_seiko_9r65_1->n67_a_seiko_9r65_21 n67_a_seiko_9r65_33 PP-NIM n67_a_seiko_9r65_1->n67_a_seiko_9r65_33 n67_a_seiko_9r65_41 PP-SCON n67_a_seiko_9r65_1->n67_a_seiko_9r65_41 n67_a_seiko_9r65_67 PUNC n67_a_seiko_9r65_1->n67_a_seiko_9r65_67 n67_a_seiko_9r65_3 P-ROLE n67_a_seiko_9r65_2->n67_a_seiko_9r65_3 n67_a_seiko_9r65_5 NP n67_a_seiko_9r65_2->n67_a_seiko_9r65_5 n67_a_seiko_9r65_3->n67_a_seiko_9r65_4 n67_a_seiko_9r65_6 D n67_a_seiko_9r65_5->n67_a_seiko_9r65_6 n67_a_seiko_9r65_8 N n67_a_seiko_9r65_5->n67_a_seiko_9r65_8 n67_a_seiko_9r65_6->n67_a_seiko_9r65_7 n67_a_seiko_9r65_8->n67_a_seiko_9r65_9 n67_a_seiko_9r65_10->n67_a_seiko_9r65_11 n67_a_seiko_9r65_13 D n67_a_seiko_9r65_12->n67_a_seiko_9r65_13 n67_a_seiko_9r65_15 NPR n67_a_seiko_9r65_12->n67_a_seiko_9r65_15 n67_a_seiko_9r65_17 NPR n67_a_seiko_9r65_12->n67_a_seiko_9r65_17 n67_a_seiko_9r65_13->n67_a_seiko_9r65_14 n67_a_seiko_9r65_15->n67_a_seiko_9r65_16 n67_a_seiko_9r65_17->n67_a_seiko_9r65_18 n67_a_seiko_9r65_19->n67_a_seiko_9r65_20 n67_a_seiko_9r65_22 ADJ n67_a_seiko_9r65_21->n67_a_seiko_9r65_22 n67_a_seiko_9r65_24 PP n67_a_seiko_9r65_21->n67_a_seiko_9r65_24 n67_a_seiko_9r65_22->n67_a_seiko_9r65_23 n67_a_seiko_9r65_25 P-ROLE n67_a_seiko_9r65_24->n67_a_seiko_9r65_25 n67_a_seiko_9r65_27 NP n67_a_seiko_9r65_24->n67_a_seiko_9r65_27 n67_a_seiko_9r65_25->n67_a_seiko_9r65_26 n67_a_seiko_9r65_28 ADJP n67_a_seiko_9r65_27->n67_a_seiko_9r65_28 n67_a_seiko_9r65_31 NS n67_a_seiko_9r65_27->n67_a_seiko_9r65_31 n67_a_seiko_9r65_29 ADJ n67_a_seiko_9r65_28->n67_a_seiko_9r65_29 n67_a_seiko_9r65_29->n67_a_seiko_9r65_30 n67_a_seiko_9r65_31->n67_a_seiko_9r65_32 n67_a_seiko_9r65_34 P-ROLE n67_a_seiko_9r65_33->n67_a_seiko_9r65_34 n67_a_seiko_9r65_36 NP n67_a_seiko_9r65_33->n67_a_seiko_9r65_36 n67_a_seiko_9r65_34->n67_a_seiko_9r65_35 n67_a_seiko_9r65_37 N n67_a_seiko_9r65_36->n67_a_seiko_9r65_37 n67_a_seiko_9r65_39 N n67_a_seiko_9r65_36->n67_a_seiko_9r65_39 n67_a_seiko_9r65_37->n67_a_seiko_9r65_38 n67_a_seiko_9r65_39->n67_a_seiko_9r65_40 n67_a_seiko_9r65_42 P-CONN n67_a_seiko_9r65_41->n67_a_seiko_9r65_42 n67_a_seiko_9r65_44 IP-ADV n67_a_seiko_9r65_41->n67_a_seiko_9r65_44 n67_a_seiko_9r65_42->n67_a_seiko_9r65_43 n67_a_seiko_9r65_45 NP-SBJ n67_a_seiko_9r65_44->n67_a_seiko_9r65_45 n67_a_seiko_9r65_48 VBP;_Tn_ n67_a_seiko_9r65_44->n67_a_seiko_9r65_48 n67_a_seiko_9r65_50 NP-OB1 n67_a_seiko_9r65_44->n67_a_seiko_9r65_50 n67_a_seiko_9r65_46 PRO n67_a_seiko_9r65_45->n67_a_seiko_9r65_46 n67_a_seiko_9r65_46->n67_a_seiko_9r65_47 n67_a_seiko_9r65_48->n67_a_seiko_9r65_49 n67_a_seiko_9r65_51 NLYR n67_a_seiko_9r65_50->n67_a_seiko_9r65_51 n67_a_seiko_9r65_52 NLYR n67_a_seiko_9r65_51->n67_a_seiko_9r65_52 n67_a_seiko_9r65_59 CONJP n67_a_seiko_9r65_51->n67_a_seiko_9r65_59 n67_a_seiko_9r65_53 D n67_a_seiko_9r65_52->n67_a_seiko_9r65_53 n67_a_seiko_9r65_55 N n67_a_seiko_9r65_52->n67_a_seiko_9r65_55 n67_a_seiko_9r65_57 N n67_a_seiko_9r65_52->n67_a_seiko_9r65_57 n67_a_seiko_9r65_53->n67_a_seiko_9r65_54 n67_a_seiko_9r65_55->n67_a_seiko_9r65_56 n67_a_seiko_9r65_57->n67_a_seiko_9r65_58 n67_a_seiko_9r65_60 ADV n67_a_seiko_9r65_59->n67_a_seiko_9r65_60 n67_a_seiko_9r65_62 NLYR n67_a_seiko_9r65_59->n67_a_seiko_9r65_62 n67_a_seiko_9r65_60->n67_a_seiko_9r65_61 n67_a_seiko_9r65_63 D n67_a_seiko_9r65_62->n67_a_seiko_9r65_63 n67_a_seiko_9r65_65 N n67_a_seiko_9r65_62->n67_a_seiko_9r65_65 n67_a_seiko_9r65_63->n67_a_seiko_9r65_64 n67_a_seiko_9r65_65->n67_a_seiko_9r65_66 n67_a_seiko_9r65_67->n67_a_seiko_9r65_68 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D this;{this})
                      (N regard;{regard})))
          (PUNC ,)
          (NP-SBJ;{SPRING_DRIVE} (D the;{the})
                                 (NPR Spring;{Spring})
                                 (NPR Drive;{Drive}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ superior;{superior})
                    (PP (P-ROLE to;{to})
                        (NP (ADJP (ADJ mechanical;{mechanical}))
                            (NS watches;{watch}))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (N impact;{impact})
                      (N resistance;{resistance})))
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ;{SPRING_DRIVE} (PRO it;{it}))
                           (VBP;_Tn_ adopts;{adopt})
                           (NP-OB1 (NLYR (NLYR (D a;{a})
                                               (N crystal;{crystal})
                                               (N oscillator;{oscillator}))
                                         (CONJP (ADV not;{not})
                                                (NLYR (D a;{a})
                                                      (N balance;{balance})))))))
          (PUNC .))
  (ID 67_a_seiko_9r65))