Context                Previous, Next                Top


47_a_seiko_9r65
2 Tri-synchro regulator

%3 z_000_47_a_seiko_9r65_1 r_0047_0002__Tri__hyphen__synchro_r_0047_0003__regulator Tri-synchro regulator z_000_47_a_seiko_9r65_1->r_0047_0002__Tri__hyphen__synchro_r_0047_0003__regulator [nim] 
arc(z_000_47_a_seiko_9r65_1, r_0047_0002__Tri__hyphen__synchro_r_0047_0003__regulator, nim5).


%3 z_000_47_a_seiko_9r65_1 r_0047_0002__Tri__hyphen__synchro_r_0047_0003__regulator Tri-synchro regulator z_000_47_a_seiko_9r65_1->r_0047_0002__Tri__hyphen__synchro_r_0047_0003__regulator [nim] 
fof(formula,axiom,
    ? [Z_47_A_SEIKO_9R65_1,R_47_2_TRI_HYPHEN_SYNCHRO_REGULATOR] :
      ( tri_hyphen_synchro_regulator(R_47_2_TRI_HYPHEN_SYNCHRO_REGULATOR)
      & z_47_a_seiko_9r65_1(Z_47_A_SEIKO_9R65_1)
      & nim5(Z_47_A_SEIKO_9R65_1,R_47_2_TRI_HYPHEN_SYNCHRO_REGULATOR) ) ).


n47_a_seiko_9r65 n47_a_seiko_9r65_4 2 n47_a_seiko_9r65_7 Tri-synchro n47_a_seiko_9r65_9 regulator n47_a_seiko_9r65_1 FRAG n47_a_seiko_9r65_2 LST n47_a_seiko_9r65_1->n47_a_seiko_9r65_2 n47_a_seiko_9r65_5 NP n47_a_seiko_9r65_1->n47_a_seiko_9r65_5 n47_a_seiko_9r65_3 LS n47_a_seiko_9r65_2->n47_a_seiko_9r65_3 n47_a_seiko_9r65_3->n47_a_seiko_9r65_4 n47_a_seiko_9r65_6 N n47_a_seiko_9r65_5->n47_a_seiko_9r65_6 n47_a_seiko_9r65_8 N n47_a_seiko_9r65_5->n47_a_seiko_9r65_8 n47_a_seiko_9r65_6->n47_a_seiko_9r65_7 n47_a_seiko_9r65_8->n47_a_seiko_9r65_9 
( (FRAG (LST (LS 2))
        (NP (N Tri_<hyphen>_synchro;{tri_synchro})
            (N regulator;{regulator})))
  (ID 47_a_seiko_9r65))