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,
    ? [Z_48_A_IBM_1401_1,R_48_1_SUBROUTINES] :
      ( subroutines(R_48_1_SUBROUTINES)
      & z_48_a_ibm_1401_1(Z_48_A_IBM_1401_1)
      & nim2(Z_48_A_IBM_1401_1,R_48_1_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))