Context                Previous, Next                Top


52_a_seiko_9r65
Differences between the Spring Drive and mechanical watch

%3 r_0052_0001__Differences Differences r_0052_0006__and and r_0052_0001__Differences->r_0052_0006__and between r_0052_0004__Spring_r_0052_0005__Drive Spring Drive r_0052_0006__and->r_0052_0004__Spring_r_0052_0005__Drive [conj1] r_0052_0008__watch watch r_0052_0006__and->r_0052_0008__watch [conj2] r_0052_0007__mechanical mechanical r_0052_0008__watch->r_0052_0007__mechanical [attrib] z_000_52_a_seiko_9r65_1 z_000_52_a_seiko_9r65_1->r_0052_0001__Differences [nim] 
arc(r_0052_0001__Differences, r_0052_0006__and, r_0052_0002__between).
arc(r_0052_0006__and, r_0052_0004__Spring_r_0052_0005__Drive, conj1).
arc(r_0052_0006__and, r_0052_0008__watch, conj2).
arc(r_0052_0008__watch, r_0052_0007__mechanical, attrib21).
arc(z_000_52_a_seiko_9r65_1, r_0052_0001__Differences, nim2).


%3 r_0052_0001__Differences Differences r_0052_0006__and and r_0052_0001__Differences->r_0052_0006__and between r_0052_0004__Spring_r_0052_0005__Drive Spring Drive r_0052_0006__and->r_0052_0004__Spring_r_0052_0005__Drive [conj1] r_0052_0008__watch watch r_0052_0006__and->r_0052_0008__watch [conj2] r_0052_0007__mechanical mechanical r_0052_0008__watch->r_0052_0007__mechanical [attrib] z_000_52_a_seiko_9r65_1 z_000_52_a_seiko_9r65_1->r_0052_0001__Differences [nim] 
fof(formula,axiom,
    ? [Z_52_A_SEIKO_9R65_1,R_52_1_DIFFERENCES,R_52_6_AND,R_52_4_SPRING_DRIVE,R_52_8_WATCH,R_52_7_MECHANICAL] :
      ( spring_Drive(R_52_4_SPRING_DRIVE)
      & mechanical(R_52_7_MECHANICAL)
      & z_52_a_seiko_9r65_1(Z_52_A_SEIKO_9R65_1)
      & nim2(Z_52_A_SEIKO_9R65_1,R_52_1_DIFFERENCES)
      & differences(R_52_1_DIFFERENCES)
      & between(R_52_1_DIFFERENCES,R_52_6_AND)
      & and(R_52_6_AND)
      & conj1(R_52_6_AND,R_52_4_SPRING_DRIVE)
      & conj2(R_52_6_AND,R_52_8_WATCH)
      & watch(R_52_8_WATCH)
      & attrib21(R_52_8_WATCH,R_52_7_MECHANICAL) ) ).


n52_a_seiko_9r65 n52_a_seiko_9r65_4 Differences n52_a_seiko_9r65_7 between n52_a_seiko_9r65_10 the n52_a_seiko_9r65_14 Spring n52_a_seiko_9r65_16 Drive n52_a_seiko_9r65_19 and n52_a_seiko_9r65_23 mechanical n52_a_seiko_9r65_25 watch n52_a_seiko_9r65_1 FRAG n52_a_seiko_9r65_2 NP n52_a_seiko_9r65_1->n52_a_seiko_9r65_2 n52_a_seiko_9r65_3 NS n52_a_seiko_9r65_2->n52_a_seiko_9r65_3 n52_a_seiko_9r65_5 PP n52_a_seiko_9r65_2->n52_a_seiko_9r65_5 n52_a_seiko_9r65_3->n52_a_seiko_9r65_4 n52_a_seiko_9r65_6 P-ROLE n52_a_seiko_9r65_5->n52_a_seiko_9r65_6 n52_a_seiko_9r65_8 NP n52_a_seiko_9r65_5->n52_a_seiko_9r65_8 n52_a_seiko_9r65_6->n52_a_seiko_9r65_7 n52_a_seiko_9r65_9 D n52_a_seiko_9r65_8->n52_a_seiko_9r65_9 n52_a_seiko_9r65_11 NLYR n52_a_seiko_9r65_8->n52_a_seiko_9r65_11 n52_a_seiko_9r65_9->n52_a_seiko_9r65_10 n52_a_seiko_9r65_12 NLYR n52_a_seiko_9r65_11->n52_a_seiko_9r65_12 n52_a_seiko_9r65_17 CONJP n52_a_seiko_9r65_11->n52_a_seiko_9r65_17 n52_a_seiko_9r65_13 NPR n52_a_seiko_9r65_12->n52_a_seiko_9r65_13 n52_a_seiko_9r65_15 NPR n52_a_seiko_9r65_12->n52_a_seiko_9r65_15 n52_a_seiko_9r65_13->n52_a_seiko_9r65_14 n52_a_seiko_9r65_15->n52_a_seiko_9r65_16 n52_a_seiko_9r65_18 CONJ n52_a_seiko_9r65_17->n52_a_seiko_9r65_18 n52_a_seiko_9r65_20 NLYR n52_a_seiko_9r65_17->n52_a_seiko_9r65_20 n52_a_seiko_9r65_18->n52_a_seiko_9r65_19 n52_a_seiko_9r65_21 ADJP n52_a_seiko_9r65_20->n52_a_seiko_9r65_21 n52_a_seiko_9r65_24 N n52_a_seiko_9r65_20->n52_a_seiko_9r65_24 n52_a_seiko_9r65_22 ADJ n52_a_seiko_9r65_21->n52_a_seiko_9r65_22 n52_a_seiko_9r65_22->n52_a_seiko_9r65_23 n52_a_seiko_9r65_24->n52_a_seiko_9r65_25 
( (FRAG (NP (NS Differences;{difference})
            (PP (P-ROLE between;{between})
                (NP (D the;{the})
                    (NLYR (NLYR (NPR Spring;{Spring})
                                (NPR Drive;{Drive}))
                          (CONJP (CONJ and;{and})
                                 (NLYR (ADJP (ADJ mechanical;{mechanical}))
                                       (N watch;{watch}))))))))
  (ID 52_a_seiko_9r65))