Context                Previous, Next                Top


48_a_ibm_1401
Subroutines

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


%3 z_0048_5004 r_0048_0001__Subroutines Subroutines z_0048_5004->r_0048_0001__Subroutines 
arc(z_0048_5004,r_0048_0001__Subroutines,z_0048_5002).


%3 z_0048_5004 r_0048_0001__Subroutines Subroutines z_0048_5004->r_0048_0001__Subroutines 
fof(formula,axiom,
    ? [R_0048_0001__SUBROUTINES,Z_0048_5004] :
      ( r_0048_0001__Subroutines(R_0048_0001__SUBROUTINES)
      & z_0048_5004(Z_0048_5004)
      & has_z_0048_5002(Z_0048_5004,R_0048_0001__SUBROUTINES) ) ).