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__1_1_1_1 2 n47_a_seiko_9r65__1_2_1_1 Tri-synchro n47_a_seiko_9r65__1_2_2_1 regulator n47_a_seiko_9r65__1 FRAG n47_a_seiko_9r65__1_1 LST n47_a_seiko_9r65__1->n47_a_seiko_9r65__1_1 n47_a_seiko_9r65__1_2 NP n47_a_seiko_9r65__1->n47_a_seiko_9r65__1_2 n47_a_seiko_9r65__1_1_1 LS n47_a_seiko_9r65__1_1->n47_a_seiko_9r65__1_1_1 n47_a_seiko_9r65__1_1_1->n47_a_seiko_9r65__1_1_1_1 n47_a_seiko_9r65__1_2_1 N n47_a_seiko_9r65__1_2->n47_a_seiko_9r65__1_2_1 n47_a_seiko_9r65__1_2_2 N n47_a_seiko_9r65__1_2->n47_a_seiko_9r65__1_2_2 n47_a_seiko_9r65__1_2_1->n47_a_seiko_9r65__1_2_1_1 n47_a_seiko_9r65__1_2_2->n47_a_seiko_9r65__1_2_2_1 
( (FRAG (LST (LS 2))
        (NP (N Tri_<hyphen>_synchro;{tri_synchro})
            (N regulator;{regulator})))
  (ID 47_a_seiko_9r65))