Context                Previous, Next                Top


48_a_ibm_1401
Subroutines

%3 z_000_48_a_ibm_1401_1 r_0048_0001__Subroutines Subroutines z_000_48_a_ibm_1401_1->r_0048_0001__Subroutines [nim] 
arc(z_000_48_a_ibm_1401_1, r_0048_0001__Subroutines, nim2).


%3 z_000_48_a_ibm_1401_1 r_0048_0001__Subroutines Subroutines z_000_48_a_ibm_1401_1->r_0048_0001__Subroutines [nim] 
fof(formula,axiom,
    ? [R_0048_0001__SUBROUTINES,Z_000_48_A_IBM_1401_1] :
      ( r_0048_0001__Subroutines(R_0048_0001__SUBROUTINES)
      & z_000_48_a_ibm_1401_1(Z_000_48_A_IBM_1401_1)
      & has_nim2(Z_000_48_A_IBM_1401_1,R_0048_0001__SUBROUTINES) ) ).


n48_a_ibm_1401 n48_a_ibm_1401__1_1_1_1 Subroutines n48_a_ibm_1401__1 FRAG n48_a_ibm_1401__1_1 NP n48_a_ibm_1401__1->n48_a_ibm_1401__1_1 n48_a_ibm_1401__1_1_1 NS n48_a_ibm_1401__1_1->n48_a_ibm_1401__1_1_1 n48_a_ibm_1401__1_1_1->n48_a_ibm_1401__1_1_1_1 
( (FRAG (NP;{SUBROUTINES} (NS Subroutines;{subroutine})))
  (ID 48_a_ibm_1401))