Context                Previous, Next                Top


41_a_ibm_1401
COBOL

%3 z_000_41_a_ibm_1401_1 r_0041_0001__COBOL COBOL z_000_41_a_ibm_1401_1->r_0041_0001__COBOL [nim] 
arc(z_000_41_a_ibm_1401_1, r_0041_0001__COBOL, nim2).


%3 z_000_41_a_ibm_1401_1 r_0041_0001__COBOL COBOL z_000_41_a_ibm_1401_1->r_0041_0001__COBOL [nim] 
fof(formula,axiom,
    ? [R_0041_0001__COBOL,Z_000_41_A_IBM_1401_1] :
      ( r_0041_0001__COBOL(R_0041_0001__COBOL)
      & z_000_41_a_ibm_1401_1(Z_000_41_A_IBM_1401_1)
      & has_nim2(Z_000_41_A_IBM_1401_1,R_0041_0001__COBOL) ) ).


n41_a_ibm_1401 n41_a_ibm_1401__1_1_1_1 COBOL n41_a_ibm_1401__1 FRAG n41_a_ibm_1401__1_1 NP n41_a_ibm_1401__1->n41_a_ibm_1401__1_1 n41_a_ibm_1401__1_1_1 NPR n41_a_ibm_1401__1_1->n41_a_ibm_1401__1_1_1 n41_a_ibm_1401__1_1_1->n41_a_ibm_1401__1_1_1_1 
( (FRAG (NP (NPR COBOL;{COBOL})))
  (ID 41_a_ibm_1401))