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,
    ? [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_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(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_000_91_a_ibm_1401_1(Z_000_91_A_IBM_1401_1)
      & has_nim2(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) ) ).


n91_a_ibm_1401 n91_a_ibm_1401__1_1_1_1 International n91_a_ibm_1401__1_1_2_1 Business n91_a_ibm_1401__1_1_3_1 Machines n91_a_ibm_1401__1_1_4_1 Corporation n91_a_ibm_1401__1_1_5_1 Data n91_a_ibm_1401__1_1_6_1 Processing n91_a_ibm_1401__1_1_7_1 Division n91_a_ibm_1401__1_1_8_1 , n91_a_ibm_1401__1_1_9_1 112 n91_a_ibm_1401__1_1_10_1 East n91_a_ibm_1401__1_1_11_1 Post n91_a_ibm_1401__1_1_12_1 Road n91_a_ibm_1401__1_1_13_1 White n91_a_ibm_1401__1_1_14_1 Plains n91_a_ibm_1401__1_1_15_1 , n91_a_ibm_1401__1_1_16_1 New n91_a_ibm_1401__1_1_17_1 York n91_a_ibm_1401__1 FRAG n91_a_ibm_1401__1_1 NP n91_a_ibm_1401__1->n91_a_ibm_1401__1_1 n91_a_ibm_1401__1_1_1 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_1 n91_a_ibm_1401__1_1_2 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_2 n91_a_ibm_1401__1_1_3 NPRS n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_3 n91_a_ibm_1401__1_1_4 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_4 n91_a_ibm_1401__1_1_5 NPRS n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_5 n91_a_ibm_1401__1_1_6 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_6 n91_a_ibm_1401__1_1_7 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_7 n91_a_ibm_1401__1_1_8 PUNC n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_8 n91_a_ibm_1401__1_1_9 NUM n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_9 n91_a_ibm_1401__1_1_10 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_10 n91_a_ibm_1401__1_1_11 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_11 n91_a_ibm_1401__1_1_12 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_12 n91_a_ibm_1401__1_1_13 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_13 n91_a_ibm_1401__1_1_14 NPRS n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_14 n91_a_ibm_1401__1_1_15 PUNC n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_15 n91_a_ibm_1401__1_1_16 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_16 n91_a_ibm_1401__1_1_17 NPR n91_a_ibm_1401__1_1->n91_a_ibm_1401__1_1_17 n91_a_ibm_1401__1_1_1->n91_a_ibm_1401__1_1_1_1 n91_a_ibm_1401__1_1_2->n91_a_ibm_1401__1_1_2_1 n91_a_ibm_1401__1_1_3->n91_a_ibm_1401__1_1_3_1 n91_a_ibm_1401__1_1_4->n91_a_ibm_1401__1_1_4_1 n91_a_ibm_1401__1_1_5->n91_a_ibm_1401__1_1_5_1 n91_a_ibm_1401__1_1_6->n91_a_ibm_1401__1_1_6_1 n91_a_ibm_1401__1_1_7->n91_a_ibm_1401__1_1_7_1 n91_a_ibm_1401__1_1_8->n91_a_ibm_1401__1_1_8_1 n91_a_ibm_1401__1_1_9->n91_a_ibm_1401__1_1_9_1 n91_a_ibm_1401__1_1_10->n91_a_ibm_1401__1_1_10_1 n91_a_ibm_1401__1_1_11->n91_a_ibm_1401__1_1_11_1 n91_a_ibm_1401__1_1_12->n91_a_ibm_1401__1_1_12_1 n91_a_ibm_1401__1_1_13->n91_a_ibm_1401__1_1_13_1 n91_a_ibm_1401__1_1_14->n91_a_ibm_1401__1_1_14_1 n91_a_ibm_1401__1_1_15->n91_a_ibm_1401__1_1_15_1 n91_a_ibm_1401__1_1_16->n91_a_ibm_1401__1_1_16_1 n91_a_ibm_1401__1_1_17->n91_a_ibm_1401__1_1_17_1 
( (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))