Context                Previous, Next                Top


42_a_seiko_9r65
1 Mainspring

%3 z_000_42_a_seiko_9r65_1 r_0042_0002__Mainspring Mainspring z_000_42_a_seiko_9r65_1->r_0042_0002__Mainspring [nim] 
arc(z_000_42_a_seiko_9r65_1, r_0042_0002__Mainspring, nim5).


%3 z_000_42_a_seiko_9r65_1 r_0042_0002__Mainspring Mainspring z_000_42_a_seiko_9r65_1->r_0042_0002__Mainspring [nim] 
fof(formula,axiom,
    ? [Z_42_A_SEIKO_9R65_1,R_42_2_MAINSPRING] :
      ( mainspring(R_42_2_MAINSPRING)
      & z_42_a_seiko_9r65_1(Z_42_A_SEIKO_9R65_1)
      & nim5(Z_42_A_SEIKO_9R65_1,R_42_2_MAINSPRING) ) ).


n42_a_seiko_9r65 n42_a_seiko_9r65__1_1_1_1 1 n42_a_seiko_9r65__1_2_1_1 Mainspring n42_a_seiko_9r65__1 FRAG n42_a_seiko_9r65__1_1 LST n42_a_seiko_9r65__1->n42_a_seiko_9r65__1_1 n42_a_seiko_9r65__1_2 NP n42_a_seiko_9r65__1->n42_a_seiko_9r65__1_2 n42_a_seiko_9r65__1_1_1 LS n42_a_seiko_9r65__1_1->n42_a_seiko_9r65__1_1_1 n42_a_seiko_9r65__1_1_1->n42_a_seiko_9r65__1_1_1_1 n42_a_seiko_9r65__1_2_1 N n42_a_seiko_9r65__1_2->n42_a_seiko_9r65__1_2_1 n42_a_seiko_9r65__1_2_1->n42_a_seiko_9r65__1_2_1_1 
( (FRAG (LST (LS 1))
        (NP (N Mainspring;{mainspring})))
  (ID 42_a_seiko_9r65))