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,
    ? [R_0050_0001__TAPE_R_0050_0002__UTILITIES,Z_000_50_A_IBM_1401_1] :
      ( r_0050_0001__Tape_r_0050_0002__Utilities(R_0050_0001__TAPE_R_0050_0002__UTILITIES)
      & z_000_50_a_ibm_1401_1(Z_000_50_A_IBM_1401_1)
      & has_nim2(Z_000_50_A_IBM_1401_1,R_0050_0001__TAPE_R_0050_0002__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))