Context                Previous, Next                Top


35_a_ibm_1401
IBM Programming Systems:

%3 z_000_35_a_ibm_1401_1 r_0035_0001__IBM_r_0035_0002__Programming_r_0035_0003__Systems IBM Programming Systems z_000_35_a_ibm_1401_1->r_0035_0001__IBM_r_0035_0002__Programming_r_0035_0003__Systems [nim] 
arc(z_000_35_a_ibm_1401_1, r_0035_0001__IBM_r_0035_0002__Programming_r_0035_0003__Systems, nim2).


%3 z_000_35_a_ibm_1401_1 r_0035_0001__IBM_r_0035_0002__Programming_r_0035_0003__Systems IBM Programming Systems z_000_35_a_ibm_1401_1->r_0035_0001__IBM_r_0035_0002__Programming_r_0035_0003__Systems [nim] 
fof(formula,axiom,
    ? [Z_35_A_IBM_1401_1,R_35_1_IBM_PROGRAMMING_SYSTEMS] :
      ( iBM_Programming_Systems(R_35_1_IBM_PROGRAMMING_SYSTEMS)
      & z_35_a_ibm_1401_1(Z_35_A_IBM_1401_1)
      & nim2(Z_35_A_IBM_1401_1,R_35_1_IBM_PROGRAMMING_SYSTEMS) ) ).


n35_a_ibm_1401 n35_a_ibm_1401_4 IBM n35_a_ibm_1401_6 Programming n35_a_ibm_1401_8 Systems n35_a_ibm_1401_10 : n35_a_ibm_1401_1 FRAG n35_a_ibm_1401_2 NP n35_a_ibm_1401_1->n35_a_ibm_1401_2 n35_a_ibm_1401_9 PUNC n35_a_ibm_1401_1->n35_a_ibm_1401_9 n35_a_ibm_1401_3 NPR n35_a_ibm_1401_2->n35_a_ibm_1401_3 n35_a_ibm_1401_5 N n35_a_ibm_1401_2->n35_a_ibm_1401_5 n35_a_ibm_1401_7 NS n35_a_ibm_1401_2->n35_a_ibm_1401_7 n35_a_ibm_1401_3->n35_a_ibm_1401_4 n35_a_ibm_1401_5->n35_a_ibm_1401_6 n35_a_ibm_1401_7->n35_a_ibm_1401_8 n35_a_ibm_1401_9->n35_a_ibm_1401_10 
( (FRAG (NP (NPR IBM;{IBM})
            (N Programming;{programming})
            (NS Systems;{system}))
        (PUNC :))
  (ID 35_a_ibm_1401))