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 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] 
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_4 2 n44_a_seiko_9r65_9 Gear n44_a_seiko_9r65_11 train n44_a_seiko_9r65_14 <bull> n44_a_seiko_9r65_17 hands n44_a_seiko_9r65_1 FRAG n44_a_seiko_9r65_2 LST n44_a_seiko_9r65_1->n44_a_seiko_9r65_2 n44_a_seiko_9r65_5 NP n44_a_seiko_9r65_1->n44_a_seiko_9r65_5 n44_a_seiko_9r65_3 LS n44_a_seiko_9r65_2->n44_a_seiko_9r65_3 n44_a_seiko_9r65_3->n44_a_seiko_9r65_4 n44_a_seiko_9r65_6 NLYR n44_a_seiko_9r65_5->n44_a_seiko_9r65_6 n44_a_seiko_9r65_7 NLYR n44_a_seiko_9r65_6->n44_a_seiko_9r65_7 n44_a_seiko_9r65_12 CONJP n44_a_seiko_9r65_6->n44_a_seiko_9r65_12 n44_a_seiko_9r65_8 N n44_a_seiko_9r65_7->n44_a_seiko_9r65_8 n44_a_seiko_9r65_10 N n44_a_seiko_9r65_7->n44_a_seiko_9r65_10 n44_a_seiko_9r65_8->n44_a_seiko_9r65_9 n44_a_seiko_9r65_10->n44_a_seiko_9r65_11 n44_a_seiko_9r65_13 SYM n44_a_seiko_9r65_12->n44_a_seiko_9r65_13 n44_a_seiko_9r65_15 NLYR n44_a_seiko_9r65_12->n44_a_seiko_9r65_15 n44_a_seiko_9r65_13->n44_a_seiko_9r65_14 n44_a_seiko_9r65_16 NS n44_a_seiko_9r65_15->n44_a_seiko_9r65_16 n44_a_seiko_9r65_16->n44_a_seiko_9r65_17 
( (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))