Context                Previous, Next                Top


41_a_ibm_1401
COBOL

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


%3 z_0041_5003 r_0041_0001__COBOL COBOL z_0041_5003->r_0041_0001__COBOL 
arc(z_0041_5003,r_0041_0001__COBOL,z_0041_5002).


%3 z_0041_5003 r_0041_0001__COBOL COBOL z_0041_5003->r_0041_0001__COBOL 
fof(formula,axiom,
    ? [R_0041_0001__COBOL,Z_0041_5003] :
      ( r_0041_0001__COBOL(R_0041_0001__COBOL)
      & z_0041_5003(Z_0041_5003)
      & has_z_0041_5002(Z_0041_5003,R_0041_0001__COBOL) ) ).