Context                Previous, Next                Top


85_a_ibm_1401
Branch Offices

%3 z_000_85_a_ibm_1401_1 r_0085_0001__Branch_r_0085_0002__Offices Branch Offices z_000_85_a_ibm_1401_1->r_0085_0001__Branch_r_0085_0002__Offices [nim] 
arc(z_000_85_a_ibm_1401_1, r_0085_0001__Branch_r_0085_0002__Offices, nim2).


%3 z_000_85_a_ibm_1401_1 r_0085_0001__Branch_r_0085_0002__Offices Branch Offices z_000_85_a_ibm_1401_1->r_0085_0001__Branch_r_0085_0002__Offices [nim] 
fof(formula,axiom,
    ? [Z_85_A_IBM_1401_1,R_85_1_BRANCH_OFFICES] :
      ( branch_Offices(R_85_1_BRANCH_OFFICES)
      & z_85_a_ibm_1401_1(Z_85_A_IBM_1401_1)
      & nim2(Z_85_A_IBM_1401_1,R_85_1_BRANCH_OFFICES) ) ).


n85_a_ibm_1401 n85_a_ibm_1401__1_1_1_1 Branch n85_a_ibm_1401__1_1_2_1 Offices n85_a_ibm_1401__1 FRAG n85_a_ibm_1401__1_1 NP n85_a_ibm_1401__1->n85_a_ibm_1401__1_1 n85_a_ibm_1401__1_1_1 N n85_a_ibm_1401__1_1->n85_a_ibm_1401__1_1_1 n85_a_ibm_1401__1_1_2 NS n85_a_ibm_1401__1_1->n85_a_ibm_1401__1_1_2 n85_a_ibm_1401__1_1_1->n85_a_ibm_1401__1_1_1_1 n85_a_ibm_1401__1_1_2->n85_a_ibm_1401__1_1_2_1 
( (FRAG (NP (N Branch;{branch})
            (NS Offices;{office})))
  (ID 85_a_ibm_1401))