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,
    ? [R_0035_0001__IBM_R_0035_0002__PROGRAMMING_R_0035_0003__SYSTEMS,Z_000_35_A_IBM_1401_1] :
      ( r_0035_0001__IBM_r_0035_0002__Programming_r_0035_0003__Systems(R_0035_0001__IBM_R_0035_0002__PROGRAMMING_R_0035_0003__SYSTEMS)
      & z_000_35_a_ibm_1401_1(Z_000_35_A_IBM_1401_1)
      & has_nim2(Z_000_35_A_IBM_1401_1,R_0035_0001__IBM_R_0035_0002__PROGRAMMING_R_0035_0003__SYSTEMS) ) ).


n35_a_ibm_1401 n35_a_ibm_1401__1_1_1_1 IBM n35_a_ibm_1401__1_1_2_1 Programming n35_a_ibm_1401__1_1_3_1 Systems n35_a_ibm_1401__1_2_1 : n35_a_ibm_1401__1 FRAG n35_a_ibm_1401__1_1 NP n35_a_ibm_1401__1->n35_a_ibm_1401__1_1 n35_a_ibm_1401__1_2 PUNC n35_a_ibm_1401__1->n35_a_ibm_1401__1_2 n35_a_ibm_1401__1_1_1 NPR n35_a_ibm_1401__1_1->n35_a_ibm_1401__1_1_1 n35_a_ibm_1401__1_1_2 N n35_a_ibm_1401__1_1->n35_a_ibm_1401__1_1_2 n35_a_ibm_1401__1_1_3 NS n35_a_ibm_1401__1_1->n35_a_ibm_1401__1_1_3 n35_a_ibm_1401__1_1_1->n35_a_ibm_1401__1_1_1_1 n35_a_ibm_1401__1_1_2->n35_a_ibm_1401__1_1_2_1 n35_a_ibm_1401__1_1_3->n35_a_ibm_1401__1_1_3_1 n35_a_ibm_1401__1_2->n35_a_ibm_1401__1_2_1 
( (FRAG (NP (NPR IBM;{IBM})
            (N Programming;{programming})
            (NS Systems;{system}))
        (PUNC :))
  (ID 35_a_ibm_1401))