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,
    ? [R_0085_0001__BRANCH_R_0085_0002__OFFICES,Z_000_85_A_IBM_1401_1] :
      ( r_0085_0001__Branch_r_0085_0002__Offices(R_0085_0001__BRANCH_R_0085_0002__OFFICES)
      & z_000_85_a_ibm_1401_1(Z_000_85_A_IBM_1401_1)
      & has_nim2(Z_000_85_A_IBM_1401_1,R_0085_0001__BRANCH_R_0085_0002__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))