Context                Previous, Next                Top


91_a_ibm_1401
International Business Machines Corporation Data Processing Division, 112 East Post Road White Plains, New York

%3 z_000_91_a_ibm_1401_1 r_0091_0001__International_r_0091_0002__Business_r_0091_0003__Machines_r_0091_0004__Corporation_r_0091_0005__Data_r_0091_0006__Processing_r_0091_0007__Division_r_0091_0009__112_r_0091_0010__East_r_0091_0011__Post_r_0091_0012__Road_r_0091_0013__White_r_0091_0014__Plains_r_0091_0016__New_r_0091_0017__York International Business Machines Corporation Data Processing Division 112 East Post Road White Plains New York z_000_91_a_ibm_1401_1->r_0091_0001__International_r_0091_0002__Business_r_0091_0003__Machines_r_0091_0004__Corporation_r_0091_0005__Data_r_0091_0006__Processing_r_0091_0007__Division_r_0091_0009__112_r_0091_0010__East_r_0091_0011__Post_r_0091_0012__Road_r_0091_0013__White_r_0091_0014__Plains_r_0091_0016__New_r_0091_0017__York [nim] 
arc(z_000_91_a_ibm_1401_1, r_0091_0001__International_r_0091_0002__Business_r_0091_0003__Machines_r_0091_0004__Corporation_r_0091_0005__Data_r_0091_0006__Processing_r_0091_0007__Division_r_0091_0009__112_r_0091_0010__East_r_0091_0011__Post_r_0091_0012__Road_r_0091_0013__White_r_0091_0014__Plains_r_0091_0016__New_r_0091_0017__York, nim2).


%3 z_000_91_a_ibm_1401_1 r_0091_0001__International_r_0091_0002__Business_r_0091_0003__Machines_r_0091_0004__Corporation_r_0091_0005__Data_r_0091_0006__Processing_r_0091_0007__Division_r_0091_0009__112_r_0091_0010__East_r_0091_0011__Post_r_0091_0012__Road_r_0091_0013__White_r_0091_0014__Plains_r_0091_0016__New_r_0091_0017__York International Business Machines Corporation Data Processing Division 112 East Post Road White Plains New York z_000_91_a_ibm_1401_1->r_0091_0001__International_r_0091_0002__Business_r_0091_0003__Machines_r_0091_0004__Corporation_r_0091_0005__Data_r_0091_0006__Processing_r_0091_0007__Division_r_0091_0009__112_r_0091_0010__East_r_0091_0011__Post_r_0091_0012__Road_r_0091_0013__White_r_0091_0014__Plains_r_0091_0016__New_r_0091_0017__York [nim] 
fof(formula,axiom,
    ? [Z_91_A_IBM_1401_1,R_91_1_INTERNATIONAL_BUSINESS_MACHINES_CORPORATION_DATA_PROCESSING_DIVISION_112_EAST_POST_ROAD_WHITE_PLAINS_NEW_YORK] :
      ( international_Business_Machines_Corporation_Data_Processing_Division_112_East_Post_Road_White_Plains_New_York(R_91_1_INTERNATIONAL_BUSINESS_MACHINES_CORPORATION_DATA_PROCESSING_DIVISION_112_EAST_POST_ROAD_WHITE_PLAINS_NEW_YORK)
      & z_91_a_ibm_1401_1(Z_91_A_IBM_1401_1)
      & nim2(Z_91_A_IBM_1401_1,R_91_1_INTERNATIONAL_BUSINESS_MACHINES_CORPORATION_DATA_PROCESSING_DIVISION_112_EAST_POST_ROAD_WHITE_PLAINS_NEW_YORK) ) ).


n91_a_ibm_1401 n91_a_ibm_1401_4 International n91_a_ibm_1401_6 Business n91_a_ibm_1401_8 Machines n91_a_ibm_1401_10 Corporation n91_a_ibm_1401_12 Data n91_a_ibm_1401_14 Processing n91_a_ibm_1401_16 Division n91_a_ibm_1401_18 , n91_a_ibm_1401_20 112 n91_a_ibm_1401_22 East n91_a_ibm_1401_24 Post n91_a_ibm_1401_26 Road n91_a_ibm_1401_28 White n91_a_ibm_1401_30 Plains n91_a_ibm_1401_32 , n91_a_ibm_1401_34 New n91_a_ibm_1401_36 York n91_a_ibm_1401_1 FRAG n91_a_ibm_1401_2 NP n91_a_ibm_1401_1->n91_a_ibm_1401_2 n91_a_ibm_1401_3 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_3 n91_a_ibm_1401_5 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_5 n91_a_ibm_1401_7 NPRS n91_a_ibm_1401_2->n91_a_ibm_1401_7 n91_a_ibm_1401_9 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_9 n91_a_ibm_1401_11 NPRS n91_a_ibm_1401_2->n91_a_ibm_1401_11 n91_a_ibm_1401_13 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_13 n91_a_ibm_1401_15 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_15 n91_a_ibm_1401_17 PUNC n91_a_ibm_1401_2->n91_a_ibm_1401_17 n91_a_ibm_1401_19 NUM n91_a_ibm_1401_2->n91_a_ibm_1401_19 n91_a_ibm_1401_21 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_21 n91_a_ibm_1401_23 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_23 n91_a_ibm_1401_25 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_25 n91_a_ibm_1401_27 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_27 n91_a_ibm_1401_29 NPRS n91_a_ibm_1401_2->n91_a_ibm_1401_29 n91_a_ibm_1401_31 PUNC n91_a_ibm_1401_2->n91_a_ibm_1401_31 n91_a_ibm_1401_33 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_33 n91_a_ibm_1401_35 NPR n91_a_ibm_1401_2->n91_a_ibm_1401_35 n91_a_ibm_1401_3->n91_a_ibm_1401_4 n91_a_ibm_1401_5->n91_a_ibm_1401_6 n91_a_ibm_1401_7->n91_a_ibm_1401_8 n91_a_ibm_1401_9->n91_a_ibm_1401_10 n91_a_ibm_1401_11->n91_a_ibm_1401_12 n91_a_ibm_1401_13->n91_a_ibm_1401_14 n91_a_ibm_1401_15->n91_a_ibm_1401_16 n91_a_ibm_1401_17->n91_a_ibm_1401_18 n91_a_ibm_1401_19->n91_a_ibm_1401_20 n91_a_ibm_1401_21->n91_a_ibm_1401_22 n91_a_ibm_1401_23->n91_a_ibm_1401_24 n91_a_ibm_1401_25->n91_a_ibm_1401_26 n91_a_ibm_1401_27->n91_a_ibm_1401_28 n91_a_ibm_1401_29->n91_a_ibm_1401_30 n91_a_ibm_1401_31->n91_a_ibm_1401_32 n91_a_ibm_1401_33->n91_a_ibm_1401_34 n91_a_ibm_1401_35->n91_a_ibm_1401_36 
( (FRAG (NP (NPR International;{International})
            (NPR Business;{Business})
            (NPRS Machines;{Machines})
            (NPR Corporation;{Corporation})
            (NPRS Data;{Data})
            (NPR Processing;{Processing})
            (NPR Division;{Division})
            (PUNC ,)
            (NUM 112)
            (NPR East;{East})
            (NPR Post;{Post})
            (NPR Road;{Road})
            (NPR White;{White})
            (NPRS Plains;{Plains})
            (PUNC ,)
            (NPR New;{New})
            (NPR York;{York})))
  (ID 91_a_ibm_1401))