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_0012__this_r_0033_0014__unit this unit 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_0008__a_r_0033_0010__watch a watch r_0033_0009__mechanical mechanical r_0033_0008__a_r_0033_0010__watch->r_0033_0009__mechanical [attrib] r_0033_0006__different different r_0033_0006__different->r_0033_0008__a_r_0033_0010__watch from r_0033_0005__completely completely r_0033_0006__different->r_0033_0005__completely [qual] r_0033_0004__is is r_0033_0004__is->r_0033_0012__this_r_0033_0014__unit in [nim] r_0033_0004__is->r_0033_0006__different [prd] 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] 
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__1_1_1_1 The n33_a_seiko_9r65__1_1_2_1 Spring n33_a_seiko_9r65__1_1_3_1 Drive n33_a_seiko_9r65__1_2_1 is n33_a_seiko_9r65__1_3_1_1_1 completely n33_a_seiko_9r65__1_3_2_1 different n33_a_seiko_9r65__1_3_3_1_1 from n33_a_seiko_9r65__1_3_3_2_1_1 a n33_a_seiko_9r65__1_3_3_2_2_1_1 mechanical n33_a_seiko_9r65__1_3_3_2_3_1 watch n33_a_seiko_9r65__1_4_1_1 in n33_a_seiko_9r65__1_4_2_1_1 this n33_a_seiko_9r65__1_4_2_2_1_1 speed-regulating n33_a_seiko_9r65__1_4_2_3_1 unit n33_a_seiko_9r65__1_5_1 . n33_a_seiko_9r65__1 IP-MAT n33_a_seiko_9r65__1_1 NP-SBJ n33_a_seiko_9r65__1->n33_a_seiko_9r65__1_1 n33_a_seiko_9r65__1_2 BEP;_La_ n33_a_seiko_9r65__1->n33_a_seiko_9r65__1_2 n33_a_seiko_9r65__1_3 ADJP-PRD n33_a_seiko_9r65__1->n33_a_seiko_9r65__1_3 n33_a_seiko_9r65__1_4 PP-NIM n33_a_seiko_9r65__1->n33_a_seiko_9r65__1_4 n33_a_seiko_9r65__1_5 PUNC n33_a_seiko_9r65__1->n33_a_seiko_9r65__1_5 n33_a_seiko_9r65__1_1_1 D n33_a_seiko_9r65__1_1->n33_a_seiko_9r65__1_1_1 n33_a_seiko_9r65__1_1_2 NPR n33_a_seiko_9r65__1_1->n33_a_seiko_9r65__1_1_2 n33_a_seiko_9r65__1_1_3 NPR n33_a_seiko_9r65__1_1->n33_a_seiko_9r65__1_1_3 n33_a_seiko_9r65__1_1_1->n33_a_seiko_9r65__1_1_1_1 n33_a_seiko_9r65__1_1_2->n33_a_seiko_9r65__1_1_2_1 n33_a_seiko_9r65__1_1_3->n33_a_seiko_9r65__1_1_3_1 n33_a_seiko_9r65__1_2->n33_a_seiko_9r65__1_2_1 n33_a_seiko_9r65__1_3_1 ADVP n33_a_seiko_9r65__1_3->n33_a_seiko_9r65__1_3_1 n33_a_seiko_9r65__1_3_2 ADJ n33_a_seiko_9r65__1_3->n33_a_seiko_9r65__1_3_2 n33_a_seiko_9r65__1_3_3 PP n33_a_seiko_9r65__1_3->n33_a_seiko_9r65__1_3_3 n33_a_seiko_9r65__1_3_1_1 ADV n33_a_seiko_9r65__1_3_1->n33_a_seiko_9r65__1_3_1_1 n33_a_seiko_9r65__1_3_1_1->n33_a_seiko_9r65__1_3_1_1_1 n33_a_seiko_9r65__1_3_2->n33_a_seiko_9r65__1_3_2_1 n33_a_seiko_9r65__1_3_3_1 P-ROLE n33_a_seiko_9r65__1_3_3->n33_a_seiko_9r65__1_3_3_1 n33_a_seiko_9r65__1_3_3_2 NP n33_a_seiko_9r65__1_3_3->n33_a_seiko_9r65__1_3_3_2 n33_a_seiko_9r65__1_3_3_1->n33_a_seiko_9r65__1_3_3_1_1 n33_a_seiko_9r65__1_3_3_2_1 D n33_a_seiko_9r65__1_3_3_2->n33_a_seiko_9r65__1_3_3_2_1 n33_a_seiko_9r65__1_3_3_2_2 ADJP n33_a_seiko_9r65__1_3_3_2->n33_a_seiko_9r65__1_3_3_2_2 n33_a_seiko_9r65__1_3_3_2_3 N n33_a_seiko_9r65__1_3_3_2->n33_a_seiko_9r65__1_3_3_2_3 n33_a_seiko_9r65__1_3_3_2_1->n33_a_seiko_9r65__1_3_3_2_1_1 n33_a_seiko_9r65__1_3_3_2_2_1 ADJ n33_a_seiko_9r65__1_3_3_2_2->n33_a_seiko_9r65__1_3_3_2_2_1 n33_a_seiko_9r65__1_3_3_2_2_1->n33_a_seiko_9r65__1_3_3_2_2_1_1 n33_a_seiko_9r65__1_3_3_2_3->n33_a_seiko_9r65__1_3_3_2_3_1 n33_a_seiko_9r65__1_4_1 P-ROLE n33_a_seiko_9r65__1_4->n33_a_seiko_9r65__1_4_1 n33_a_seiko_9r65__1_4_2 NP n33_a_seiko_9r65__1_4->n33_a_seiko_9r65__1_4_2 n33_a_seiko_9r65__1_4_1->n33_a_seiko_9r65__1_4_1_1 n33_a_seiko_9r65__1_4_2_1 D n33_a_seiko_9r65__1_4_2->n33_a_seiko_9r65__1_4_2_1 n33_a_seiko_9r65__1_4_2_2 ADJP n33_a_seiko_9r65__1_4_2->n33_a_seiko_9r65__1_4_2_2 n33_a_seiko_9r65__1_4_2_3 N n33_a_seiko_9r65__1_4_2->n33_a_seiko_9r65__1_4_2_3 n33_a_seiko_9r65__1_4_2_1->n33_a_seiko_9r65__1_4_2_1_1 n33_a_seiko_9r65__1_4_2_2_1 ADJ n33_a_seiko_9r65__1_4_2_2->n33_a_seiko_9r65__1_4_2_2_1 n33_a_seiko_9r65__1_4_2_2_1->n33_a_seiko_9r65__1_4_2_2_1_1 n33_a_seiko_9r65__1_4_2_3->n33_a_seiko_9r65__1_4_2_3_1 n33_a_seiko_9r65__1_5->n33_a_seiko_9r65__1_5_1 
( (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))