Context                Previous, Next                Top


33_a_seiko_9r65
The Spring Drive is completely different from a mechanical watch in this speed-regulating unit.

%3 r_0033_0004__is is r_0033_0001__The_r_0033_0002__Spring_r_0033_0003__Drive The Spring Drive r_0033_0004__is->r_0033_0001__The_r_0033_0002__Spring_r_0033_0003__Drive [arg0] r_0033_0006__different different r_0033_0004__is->r_0033_0006__different [prd] r_0033_0012__this_r_0033_0014__unit this unit r_0033_0004__is->r_0033_0012__this_r_0033_0014__unit in [nim] r_0033_0005__completely completely r_0033_0006__different->r_0033_0005__completely [qual] r_0033_0008__a_r_0033_0010__watch a watch r_0033_0006__different->r_0033_0008__a_r_0033_0010__watch from r_0033_0013__speed__hyphen__regulating speed-regulating r_0033_0012__this_r_0033_0014__unit->r_0033_0013__speed__hyphen__regulating [attrib] r_0033_0009__mechanical mechanical r_0033_0008__a_r_0033_0010__watch->r_0033_0009__mechanical [attrib] 
arc(r_0033_0004__is, r_0033_0001__The_r_0033_0002__Spring_r_0033_0003__Drive, arg0).
arc(r_0033_0004__is, r_0033_0006__different, prd).
arc(r_0033_0004__is, r_0033_0012__this_r_0033_0014__unit, r_0033_0011__in_nim31).
arc(r_0033_0006__different, r_0033_0005__completely, qual12).
arc(r_0033_0006__different, r_0033_0008__a_r_0033_0010__watch, r_0033_0007__from).
arc(r_0033_0008__a_r_0033_0010__watch, r_0033_0009__mechanical, attrib23).
arc(r_0033_0012__this_r_0033_0014__unit, r_0033_0013__speed__hyphen__regulating, attrib34).


%3 r_0033_0004__is is r_0033_0001__The_r_0033_0002__Spring_r_0033_0003__Drive The Spring Drive r_0033_0004__is->r_0033_0001__The_r_0033_0002__Spring_r_0033_0003__Drive [arg0] r_0033_0006__different different r_0033_0004__is->r_0033_0006__different [prd] r_0033_0012__this_r_0033_0014__unit this unit r_0033_0004__is->r_0033_0012__this_r_0033_0014__unit in [nim] r_0033_0005__completely completely r_0033_0006__different->r_0033_0005__completely [qual] r_0033_0008__a_r_0033_0010__watch a watch r_0033_0006__different->r_0033_0008__a_r_0033_0010__watch from r_0033_0013__speed__hyphen__regulating speed-regulating r_0033_0012__this_r_0033_0014__unit->r_0033_0013__speed__hyphen__regulating [attrib] r_0033_0009__mechanical mechanical r_0033_0008__a_r_0033_0010__watch->r_0033_0009__mechanical [attrib] 
fof(formula,axiom,
    ? [R_33_4_IS,R_33_1_THE_SPRING_DRIVE,R_33_6_DIFFERENT,R_33_5_COMPLETELY,R_33_8_A_WATCH,R_33_9_MECHANICAL,R_33_12_THIS_UNIT,R_33_13_SPEED_HYPHEN_REGULATING] :
      ( the_Spring_Drive(R_33_1_THE_SPRING_DRIVE)
      & completely(R_33_5_COMPLETELY)
      & mechanical(R_33_9_MECHANICAL)
      & speed_hyphen_regulating(R_33_13_SPEED_HYPHEN_REGULATING)
      & is(R_33_4_IS,R_33_1_THE_SPRING_DRIVE,R_33_6_DIFFERENT)
      & different(R_33_6_DIFFERENT)
      & qual12(R_33_6_DIFFERENT,R_33_5_COMPLETELY)
      & from(R_33_6_DIFFERENT,R_33_8_A_WATCH)
      & a_watch(R_33_8_A_WATCH)
      & attrib23(R_33_8_A_WATCH,R_33_9_MECHANICAL)
      & in_nim31(R_33_4_IS,R_33_12_THIS_UNIT)
      & this_unit(R_33_12_THIS_UNIT)
      & attrib34(R_33_12_THIS_UNIT,R_33_13_SPEED_HYPHEN_REGULATING) ) ).


n33_a_seiko_9r65 n33_a_seiko_9r65_4 The n33_a_seiko_9r65_6 Spring n33_a_seiko_9r65_8 Drive n33_a_seiko_9r65_10 is n33_a_seiko_9r65_14 completely n33_a_seiko_9r65_16 different n33_a_seiko_9r65_19 from n33_a_seiko_9r65_22 a n33_a_seiko_9r65_25 mechanical n33_a_seiko_9r65_27 watch n33_a_seiko_9r65_30 in n33_a_seiko_9r65_33 this n33_a_seiko_9r65_36 speed-regulating n33_a_seiko_9r65_38 unit n33_a_seiko_9r65_40 . n33_a_seiko_9r65_1 IP-MAT n33_a_seiko_9r65_2 NP-SBJ n33_a_seiko_9r65_1->n33_a_seiko_9r65_2 n33_a_seiko_9r65_9 BEP;_La_ n33_a_seiko_9r65_1->n33_a_seiko_9r65_9 n33_a_seiko_9r65_11 ADJP-PRD n33_a_seiko_9r65_1->n33_a_seiko_9r65_11 n33_a_seiko_9r65_28 PP-NIM n33_a_seiko_9r65_1->n33_a_seiko_9r65_28 n33_a_seiko_9r65_39 PUNC n33_a_seiko_9r65_1->n33_a_seiko_9r65_39 n33_a_seiko_9r65_3 D n33_a_seiko_9r65_2->n33_a_seiko_9r65_3 n33_a_seiko_9r65_5 NPR n33_a_seiko_9r65_2->n33_a_seiko_9r65_5 n33_a_seiko_9r65_7 NPR n33_a_seiko_9r65_2->n33_a_seiko_9r65_7 n33_a_seiko_9r65_3->n33_a_seiko_9r65_4 n33_a_seiko_9r65_5->n33_a_seiko_9r65_6 n33_a_seiko_9r65_7->n33_a_seiko_9r65_8 n33_a_seiko_9r65_9->n33_a_seiko_9r65_10 n33_a_seiko_9r65_12 ADVP n33_a_seiko_9r65_11->n33_a_seiko_9r65_12 n33_a_seiko_9r65_15 ADJ n33_a_seiko_9r65_11->n33_a_seiko_9r65_15 n33_a_seiko_9r65_17 PP n33_a_seiko_9r65_11->n33_a_seiko_9r65_17 n33_a_seiko_9r65_13 ADV n33_a_seiko_9r65_12->n33_a_seiko_9r65_13 n33_a_seiko_9r65_13->n33_a_seiko_9r65_14 n33_a_seiko_9r65_15->n33_a_seiko_9r65_16 n33_a_seiko_9r65_18 P-ROLE n33_a_seiko_9r65_17->n33_a_seiko_9r65_18 n33_a_seiko_9r65_20 NP n33_a_seiko_9r65_17->n33_a_seiko_9r65_20 n33_a_seiko_9r65_18->n33_a_seiko_9r65_19 n33_a_seiko_9r65_21 D n33_a_seiko_9r65_20->n33_a_seiko_9r65_21 n33_a_seiko_9r65_23 ADJP n33_a_seiko_9r65_20->n33_a_seiko_9r65_23 n33_a_seiko_9r65_26 N n33_a_seiko_9r65_20->n33_a_seiko_9r65_26 n33_a_seiko_9r65_21->n33_a_seiko_9r65_22 n33_a_seiko_9r65_24 ADJ n33_a_seiko_9r65_23->n33_a_seiko_9r65_24 n33_a_seiko_9r65_24->n33_a_seiko_9r65_25 n33_a_seiko_9r65_26->n33_a_seiko_9r65_27 n33_a_seiko_9r65_29 P-ROLE n33_a_seiko_9r65_28->n33_a_seiko_9r65_29 n33_a_seiko_9r65_31 NP n33_a_seiko_9r65_28->n33_a_seiko_9r65_31 n33_a_seiko_9r65_29->n33_a_seiko_9r65_30 n33_a_seiko_9r65_32 D n33_a_seiko_9r65_31->n33_a_seiko_9r65_32 n33_a_seiko_9r65_34 ADJP n33_a_seiko_9r65_31->n33_a_seiko_9r65_34 n33_a_seiko_9r65_37 N n33_a_seiko_9r65_31->n33_a_seiko_9r65_37 n33_a_seiko_9r65_32->n33_a_seiko_9r65_33 n33_a_seiko_9r65_35 ADJ n33_a_seiko_9r65_34->n33_a_seiko_9r65_35 n33_a_seiko_9r65_35->n33_a_seiko_9r65_36 n33_a_seiko_9r65_37->n33_a_seiko_9r65_38 n33_a_seiko_9r65_39->n33_a_seiko_9r65_40 
( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (D The;{the})
                                 (NPR Spring;{Spring})
                                 (NPR Drive;{Drive}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADVP (ADV completely;{completely}))
                    (ADJ different;{different})
                    (PP (P-ROLE from;{from})
                        (NP (D a;{a})
                            (ADJP (ADJ mechanical;{mechanical}))
                            (N watch;{watch}))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D this;{this})
                      (ADJP (ADJ speed_<hyphen>_regulating;{speed_regulating}))
                      (N unit;{unit})))
          (PUNC .))
  (ID 33_a_seiko_9r65))