Context                Previous, Next                Top


50_a_ibm_1401
Tape Utilities

%3 z_000_50_a_ibm_1401_1 r_0050_0001__Tape_r_0050_0002__Utilities Tape Utilities z_000_50_a_ibm_1401_1->r_0050_0001__Tape_r_0050_0002__Utilities [nim] 
arc(z_000_50_a_ibm_1401_1, r_0050_0001__Tape_r_0050_0002__Utilities, nim2).


%3 z_000_50_a_ibm_1401_1 r_0050_0001__Tape_r_0050_0002__Utilities Tape Utilities z_000_50_a_ibm_1401_1->r_0050_0001__Tape_r_0050_0002__Utilities [nim] 
fof(formula,axiom,
    ? [Z_50_A_IBM_1401_1,R_50_1_TAPE_UTILITIES] :
      ( tape_Utilities(R_50_1_TAPE_UTILITIES)
      & z_50_a_ibm_1401_1(Z_50_A_IBM_1401_1)
      & nim2(Z_50_A_IBM_1401_1,R_50_1_TAPE_UTILITIES) ) ).


n50_a_ibm_1401 n50_a_ibm_1401__1_1_1_1 Tape n50_a_ibm_1401__1_1_2_1 Utilities n50_a_ibm_1401__1 FRAG n50_a_ibm_1401__1_1 NP n50_a_ibm_1401__1->n50_a_ibm_1401__1_1 n50_a_ibm_1401__1_1_1 N n50_a_ibm_1401__1_1->n50_a_ibm_1401__1_1_1 n50_a_ibm_1401__1_1_2 NS n50_a_ibm_1401__1_1->n50_a_ibm_1401__1_1_2 n50_a_ibm_1401__1_1_1->n50_a_ibm_1401__1_1_1_1 n50_a_ibm_1401__1_1_2->n50_a_ibm_1401__1_1_2_1 
( (FRAG (NP;{TAPE_UTILITIES} (N Tape;{tape})
                             (NS Utilities;{utility})))
  (ID 50_a_ibm_1401))