Context                Previous, Next                Top


42_a_seiko_9r65
1 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))


%3 z_0042_5004 r_0042_0002__Mainspring Mainspring z_0042_5004->r_0042_0002__Mainspring 
arc(z_0042_5004,r_0042_0002__Mainspring,z_0042_5002).


%3 z_0042_5004 r_0042_0002__Mainspring Mainspring z_0042_5004->r_0042_0002__Mainspring 
fof(formula,axiom,
    ? [R_0042_0002__MAINSPRING,Z_0042_5004] :
      ( r_0042_0002__Mainspring(R_0042_0002__MAINSPRING)
      & z_0042_5004(Z_0042_5004)
      & has_z_0042_5002(Z_0042_5004,R_0042_0002__MAINSPRING) ) ).