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,
    ? [R_0044_0002__GEAR_R_0044_0003__TRAIN,R_0044_0005__HANDS,R_0044_0004___BULL_,Z_000_44_A_SEIKO_9R65_1] :
      ( 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_000_44_a_seiko_9r65_1(Z_000_44_A_SEIKO_9R65_1)
      & has_nim5(Z_000_44_A_SEIKO_9R65_1,R_0044_0004___BULL_)
      & r_0044_0004___bull_(R_0044_0004___BULL_)
      & has_conj2(R_0044_0004___BULL_,R_0044_0005__HANDS)
      & has_conj1(R_0044_0004___BULL_,R_0044_0002__GEAR_R_0044_0003__TRAIN) ) ).


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))