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,
    ? [Z_41_A_IBM_1401_1,R_41_1_COBOL] :
      ( cOBOL(R_41_1_COBOL)
      & z_41_a_ibm_1401_1(Z_41_A_IBM_1401_1)
      & nim2(Z_41_A_IBM_1401_1,R_41_1_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))