Context                Previous, Next                Top


44_a_seiko_9r65
2 Gear train <bull> hands

%3 r_0044_0004___bull_ bull r_0044_0002__Gear_r_0044_0003__train Gear train r_0044_0004___bull_->r_0044_0002__Gear_r_0044_0003__train [conj1] r_0044_0005__hands hands r_0044_0004___bull_->r_0044_0005__hands [conj2] z_000_44_a_seiko_9r65_1 z_000_44_a_seiko_9r65_1->r_0044_0004___bull_ [nim] 
arc(r_0044_0004___bull_, r_0044_0002__Gear_r_0044_0003__train, conj1).
arc(r_0044_0004___bull_, r_0044_0005__hands, conj2).
arc(z_000_44_a_seiko_9r65_1, r_0044_0004___bull_, nim5).


%3 z_000_44_a_seiko_9r65_1 r_0044_0004___bull_ bull z_000_44_a_seiko_9r65_1->r_0044_0004___bull_ [nim] r_0044_0005__hands hands r_0044_0004___bull_->r_0044_0005__hands [conj2] r_0044_0002__Gear_r_0044_0003__train Gear train r_0044_0004___bull_->r_0044_0002__Gear_r_0044_0003__train [conj1] 
fof(formula,axiom,
    ? [Z_44_A_SEIKO_9R65_1,R_44_4__BULL_,R_44_2_GEAR_TRAIN,R_44_5_HANDS] :
      ( gear_train(R_44_2_GEAR_TRAIN)
      & hands(R_44_5_HANDS)
      & z_44_a_seiko_9r65_1(Z_44_A_SEIKO_9R65_1)
      & nim5(Z_44_A_SEIKO_9R65_1,R_44_4__BULL_)
      & _bull_(R_44_4__BULL_)
      & conj1(R_44_4__BULL_,R_44_2_GEAR_TRAIN)
      & conj2(R_44_4__BULL_,R_44_5_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))