Context                Previous, Next                Top


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

n91_a_ibm_1401 n91_a_ibm_1401__1_1_1 International n91_a_ibm_1401__1_2_1 Business n91_a_ibm_1401__1_3_1 Machines n91_a_ibm_1401__1_4_1 Corporation n91_a_ibm_1401__1_5_1 Data n91_a_ibm_1401__1_6_1 Processing n91_a_ibm_1401__1_7_1 Division n91_a_ibm_1401__1_8_1 , n91_a_ibm_1401__1_9_1 112 n91_a_ibm_1401__1_10_1 East n91_a_ibm_1401__1_11_1 Post n91_a_ibm_1401__1_12_1 Road n91_a_ibm_1401__1_13_1 White n91_a_ibm_1401__1_14_1 Plains n91_a_ibm_1401__1_15_1 , n91_a_ibm_1401__1_16_1 New n91_a_ibm_1401__1_17_1 York n91_a_ibm_1401__1 NP n91_a_ibm_1401__1_1 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_1 n91_a_ibm_1401__1_2 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_2 n91_a_ibm_1401__1_3 NPRS n91_a_ibm_1401__1->n91_a_ibm_1401__1_3 n91_a_ibm_1401__1_4 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_4 n91_a_ibm_1401__1_5 NPRS n91_a_ibm_1401__1->n91_a_ibm_1401__1_5 n91_a_ibm_1401__1_6 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_6 n91_a_ibm_1401__1_7 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_7 n91_a_ibm_1401__1_8 PUNC n91_a_ibm_1401__1->n91_a_ibm_1401__1_8 n91_a_ibm_1401__1_9 NUM n91_a_ibm_1401__1->n91_a_ibm_1401__1_9 n91_a_ibm_1401__1_10 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_10 n91_a_ibm_1401__1_11 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_11 n91_a_ibm_1401__1_12 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_12 n91_a_ibm_1401__1_13 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_13 n91_a_ibm_1401__1_14 NPRS n91_a_ibm_1401__1->n91_a_ibm_1401__1_14 n91_a_ibm_1401__1_15 PUNC n91_a_ibm_1401__1->n91_a_ibm_1401__1_15 n91_a_ibm_1401__1_16 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_16 n91_a_ibm_1401__1_17 NPR n91_a_ibm_1401__1->n91_a_ibm_1401__1_17 n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_1 n91_a_ibm_1401__1_2->n91_a_ibm_1401__1_2_1 n91_a_ibm_1401__1_3->n91_a_ibm_1401__1_3_1 n91_a_ibm_1401__1_4->n91_a_ibm_1401__1_4_1 n91_a_ibm_1401__1_5->n91_a_ibm_1401__1_5_1 n91_a_ibm_1401__1_6->n91_a_ibm_1401__1_6_1 n91_a_ibm_1401__1_7->n91_a_ibm_1401__1_7_1 n91_a_ibm_1401__1_8->n91_a_ibm_1401__1_8_1 n91_a_ibm_1401__1_9->n91_a_ibm_1401__1_9_1 n91_a_ibm_1401__1_10->n91_a_ibm_1401__1_10_1 n91_a_ibm_1401__1_11->n91_a_ibm_1401__1_11_1 n91_a_ibm_1401__1_12->n91_a_ibm_1401__1_12_1 n91_a_ibm_1401__1_13->n91_a_ibm_1401__1_13_1 n91_a_ibm_1401__1_14->n91_a_ibm_1401__1_14_1 n91_a_ibm_1401__1_15->n91_a_ibm_1401__1_15_1 n91_a_ibm_1401__1_16->n91_a_ibm_1401__1_16_1 n91_a_ibm_1401__1_17->n91_a_ibm_1401__1_17_1 
( (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))


%3 z_0091_5003 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_0091_5003->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 
arc(z_0091_5003,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,z_0091_5002).


%3 z_0091_5003 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_0091_5003->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 
fof(formula,axiom,
    ? [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,Z_0091_5003] :
      ( 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(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)
      & z_0091_5003(Z_0091_5003)
      & has_z_0091_5002(Z_0091_5003,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) ) ).