Context                Previous, Next                Top


44_a_seiko_9r65
2 Gear train <bull> hands

n44_a_seiko_9r65 n44_a_seiko_9r65__1_1_1_1 2 n44_a_seiko_9r65__1_2_1_1_1_1 Gear n44_a_seiko_9r65__1_2_1_1_2_1 train n44_a_seiko_9r65__1_2_1_2_1_1 <bull> n44_a_seiko_9r65__1_2_1_2_2_1_1 hands n44_a_seiko_9r65__1 FRAG n44_a_seiko_9r65__1_1 LST n44_a_seiko_9r65__1->n44_a_seiko_9r65__1_1 n44_a_seiko_9r65__1_2 NP n44_a_seiko_9r65__1->n44_a_seiko_9r65__1_2 n44_a_seiko_9r65__1_1_1 LS n44_a_seiko_9r65__1_1->n44_a_seiko_9r65__1_1_1 n44_a_seiko_9r65__1_1_1->n44_a_seiko_9r65__1_1_1_1 n44_a_seiko_9r65__1_2_1 NLYR n44_a_seiko_9r65__1_2->n44_a_seiko_9r65__1_2_1 n44_a_seiko_9r65__1_2_1_1 NLYR n44_a_seiko_9r65__1_2_1->n44_a_seiko_9r65__1_2_1_1 n44_a_seiko_9r65__1_2_1_2 CONJP n44_a_seiko_9r65__1_2_1->n44_a_seiko_9r65__1_2_1_2 n44_a_seiko_9r65__1_2_1_1_1 N n44_a_seiko_9r65__1_2_1_1->n44_a_seiko_9r65__1_2_1_1_1 n44_a_seiko_9r65__1_2_1_1_2 N n44_a_seiko_9r65__1_2_1_1->n44_a_seiko_9r65__1_2_1_1_2 n44_a_seiko_9r65__1_2_1_1_1->n44_a_seiko_9r65__1_2_1_1_1_1 n44_a_seiko_9r65__1_2_1_1_2->n44_a_seiko_9r65__1_2_1_1_2_1 n44_a_seiko_9r65__1_2_1_2_1 SYM n44_a_seiko_9r65__1_2_1_2->n44_a_seiko_9r65__1_2_1_2_1 n44_a_seiko_9r65__1_2_1_2_2 NLYR n44_a_seiko_9r65__1_2_1_2->n44_a_seiko_9r65__1_2_1_2_2 n44_a_seiko_9r65__1_2_1_2_1->n44_a_seiko_9r65__1_2_1_2_1_1 n44_a_seiko_9r65__1_2_1_2_2_1 NS n44_a_seiko_9r65__1_2_1_2_2->n44_a_seiko_9r65__1_2_1_2_2_1 n44_a_seiko_9r65__1_2_1_2_2_1->n44_a_seiko_9r65__1_2_1_2_2_1_1 
( (FRAG (LST (LS 2))
        (NP (NLYR (NLYR (N Gear;{gear})
                        (N train;{train}))
                  (CONJP (SYM <bull>)
                         (NLYR (NS hands;{hand}))))))
  (ID 44_a_seiko_9r65))


%3 z_0044_5007 z_0044_5006 z_0044_5007->z_0044_5006 r_0044_0005__hands hands z_0044_5006->r_0044_0005__hands [conj2] r_0044_0002__Gear_r_0044_0003__train Gear train z_0044_5006->r_0044_0002__Gear_r_0044_0003__train [conj1] 
arc(z_0044_5006,r_0044_0002__Gear_r_0044_0003__train,conj1).
arc(z_0044_5006,r_0044_0005__hands,conj2).
arc(z_0044_5007,z_0044_5006,z_0044_5002).


%3 z_0044_5006 r_0044_0002__Gear_r_0044_0003__train Gear train z_0044_5006->r_0044_0002__Gear_r_0044_0003__train [conj1] r_0044_0005__hands hands z_0044_5006->r_0044_0005__hands [conj2] z_0044_5007 z_0044_5007->z_0044_5006 
fof(formula,axiom,
    ? [R_0044_0002__GEAR_R_0044_0003__TRAIN,R_0044_0005__HANDS,Z_0044_5006,Z_0044_5007] :
      ( r_0044_0002__Gear_r_0044_0003__train(R_0044_0002__GEAR_R_0044_0003__TRAIN)
      & r_0044_0005__hands(R_0044_0005__HANDS)
      & z_0044_5007(Z_0044_5007)
      & has_z_0044_5002(Z_0044_5007,Z_0044_5006)
      & z_0044_5006(Z_0044_5006)
      & has_conj2(Z_0044_5006,R_0044_0005__HANDS)
      & has_conj1(Z_0044_5006,R_0044_0002__GEAR_R_0044_0003__TRAIN) ) ).