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_4 Branch n85_a_ibm_1401_6 Offices n85_a_ibm_1401_1 FRAG n85_a_ibm_1401_2 NP n85_a_ibm_1401_1->n85_a_ibm_1401_2 n85_a_ibm_1401_3 N n85_a_ibm_1401_2->n85_a_ibm_1401_3 n85_a_ibm_1401_5 NS n85_a_ibm_1401_2->n85_a_ibm_1401_5 n85_a_ibm_1401_3->n85_a_ibm_1401_4 n85_a_ibm_1401_5->n85_a_ibm_1401_6 
( (FRAG (NP (N Branch;{branch})
            (NS Offices;{office})))
  (ID 85_a_ibm_1401))