Context                Previous, Next                Top


38_a_ibm_1401
Autocoder

n38_a_ibm_1401 n38_a_ibm_1401__1_1_1 Autocoder n38_a_ibm_1401__1 NP n38_a_ibm_1401__1_1 N n38_a_ibm_1401__1->n38_a_ibm_1401__1_1 n38_a_ibm_1401__1_1->n38_a_ibm_1401__1_1_1 
( (NP;{AUTOCODER} (N Autocoder;{autocoder}))
  (ID 38_a_ibm_1401))


%3 z_0038_5004 r_0038_0001__Autocoder Autocoder z_0038_5004->r_0038_0001__Autocoder 
arc(z_0038_5004,r_0038_0001__Autocoder,z_0038_5002).


%3 z_0038_5004 r_0038_0001__Autocoder Autocoder z_0038_5004->r_0038_0001__Autocoder 
fof(formula,axiom,
    ? [R_0038_0001__AUTOCODER,Z_0038_5004] :
      ( r_0038_0001__Autocoder(R_0038_0001__AUTOCODER)
      & z_0038_5004(Z_0038_5004)
      & has_z_0038_5002(Z_0038_5004,R_0038_0001__AUTOCODER) ) ).