Context                Previous, Next                Top


86_a_ibm_1401
More than 200 branch offices serve customer needs promptly and efficiently.

%3 r_0086_0001__More More r_0086_0003__200 200 r_0086_0001__More->r_0086_0003__200 than r_0086_0004__branch_r_0086_0005__offices branch offices r_0086_0004__branch_r_0086_0005__offices->r_0086_0001__More [attrib] r_0086_0006__serve serve r_0086_0006__serve->r_0086_0004__branch_r_0086_0005__offices [arg0] r_0086_0007__customer_r_0086_0008__needs customer needs r_0086_0006__serve->r_0086_0007__customer_r_0086_0008__needs [arg1] r_0086_0010__and and r_0086_0006__serve->r_0086_0010__and [nim] r_0086_0009__promptly promptly r_0086_0010__and->r_0086_0009__promptly [conj1] r_0086_0011__efficiently efficiently r_0086_0010__and->r_0086_0011__efficiently [conj2] 
arc(r_0086_0001__More, r_0086_0003__200, r_0086_0002__than).
arc(r_0086_0004__branch_r_0086_0005__offices, r_0086_0001__More, attrib3).
arc(r_0086_0006__serve, r_0086_0004__branch_r_0086_0005__offices, arg0).
arc(r_0086_0006__serve, r_0086_0007__customer_r_0086_0008__needs, arg1).
arc(r_0086_0006__serve, r_0086_0010__and, nim23).
arc(r_0086_0010__and, r_0086_0009__promptly, conj1).
arc(r_0086_0010__and, r_0086_0011__efficiently, conj2).


%3 r_0086_0010__and and r_0086_0011__efficiently efficiently r_0086_0010__and->r_0086_0011__efficiently [conj2] r_0086_0009__promptly promptly r_0086_0010__and->r_0086_0009__promptly [conj1] r_0086_0006__serve serve r_0086_0006__serve->r_0086_0010__and [nim] r_0086_0007__customer_r_0086_0008__needs customer needs r_0086_0006__serve->r_0086_0007__customer_r_0086_0008__needs [arg1] r_0086_0004__branch_r_0086_0005__offices branch offices r_0086_0006__serve->r_0086_0004__branch_r_0086_0005__offices [arg0] r_0086_0001__More More r_0086_0004__branch_r_0086_0005__offices->r_0086_0001__More [attrib] r_0086_0003__200 200 r_0086_0001__More->r_0086_0003__200 than 
fof(formula,axiom,
    ? [R_86_6_SERVE,R_86_4_BRANCH_OFFICES,R_86_1_MORE,R_86_3_200,R_86_7_CUSTOMER_NEEDS,R_86_10_AND,R_86_9_PROMPTLY,R_86_11_EFFICIENTLY] :
      ( 200(R_86_3_200)
      & customer_needs(R_86_7_CUSTOMER_NEEDS)
      & promptly(R_86_9_PROMPTLY)
      & efficiently(R_86_11_EFFICIENTLY)
      & serve(R_86_6_SERVE,R_86_4_BRANCH_OFFICES,R_86_7_CUSTOMER_NEEDS)
      & branch_offices(R_86_4_BRANCH_OFFICES)
      & attrib3(R_86_4_BRANCH_OFFICES,R_86_1_MORE)
      & more(R_86_1_MORE)
      & than(R_86_1_MORE,R_86_3_200)
      & nim23(R_86_6_SERVE,R_86_10_AND)
      & and(R_86_10_AND)
      & conj1(R_86_10_AND,R_86_9_PROMPTLY)
      & conj2(R_86_10_AND,R_86_11_EFFICIENTLY) ) ).


n86_a_ibm_1401 n86_a_ibm_1401__1_1_1_1_1 More n86_a_ibm_1401__1_1_1_2_1_1 than n86_a_ibm_1401__1_1_1_2_2_1_1 200 n86_a_ibm_1401__1_1_2_1 branch n86_a_ibm_1401__1_1_3_1 offices n86_a_ibm_1401__1_2_1 serve n86_a_ibm_1401__1_3_1_1 customer n86_a_ibm_1401__1_3_2_1 needs n86_a_ibm_1401__1_4_1_1_1_1 promptly n86_a_ibm_1401__1_4_1_2_1_1 and n86_a_ibm_1401__1_4_1_2_2_1_1 efficiently n86_a_ibm_1401__1_5_1 . n86_a_ibm_1401__1 IP-MAT n86_a_ibm_1401__1_1 NP-SBJ n86_a_ibm_1401__1->n86_a_ibm_1401__1_1 n86_a_ibm_1401__1_2 VBP;_Tn_ n86_a_ibm_1401__1->n86_a_ibm_1401__1_2 n86_a_ibm_1401__1_3 NP-OB1 n86_a_ibm_1401__1->n86_a_ibm_1401__1_3 n86_a_ibm_1401__1_4 ADVP-NIM n86_a_ibm_1401__1->n86_a_ibm_1401__1_4 n86_a_ibm_1401__1_5 PUNC n86_a_ibm_1401__1->n86_a_ibm_1401__1_5 n86_a_ibm_1401__1_1_1 ADJP n86_a_ibm_1401__1_1->n86_a_ibm_1401__1_1_1 n86_a_ibm_1401__1_1_2 N n86_a_ibm_1401__1_1->n86_a_ibm_1401__1_1_2 n86_a_ibm_1401__1_1_3 NS n86_a_ibm_1401__1_1->n86_a_ibm_1401__1_1_3 n86_a_ibm_1401__1_1_1_1 ADJR n86_a_ibm_1401__1_1_1->n86_a_ibm_1401__1_1_1_1 n86_a_ibm_1401__1_1_1_2 PP n86_a_ibm_1401__1_1_1->n86_a_ibm_1401__1_1_1_2 n86_a_ibm_1401__1_1_1_1->n86_a_ibm_1401__1_1_1_1_1 n86_a_ibm_1401__1_1_1_2_1 P-ROLE n86_a_ibm_1401__1_1_1_2->n86_a_ibm_1401__1_1_1_2_1 n86_a_ibm_1401__1_1_1_2_2 NP n86_a_ibm_1401__1_1_1_2->n86_a_ibm_1401__1_1_1_2_2 n86_a_ibm_1401__1_1_1_2_1->n86_a_ibm_1401__1_1_1_2_1_1 n86_a_ibm_1401__1_1_1_2_2_1 NUM n86_a_ibm_1401__1_1_1_2_2->n86_a_ibm_1401__1_1_1_2_2_1 n86_a_ibm_1401__1_1_1_2_2_1->n86_a_ibm_1401__1_1_1_2_2_1_1 n86_a_ibm_1401__1_1_2->n86_a_ibm_1401__1_1_2_1 n86_a_ibm_1401__1_1_3->n86_a_ibm_1401__1_1_3_1 n86_a_ibm_1401__1_2->n86_a_ibm_1401__1_2_1 n86_a_ibm_1401__1_3_1 N n86_a_ibm_1401__1_3->n86_a_ibm_1401__1_3_1 n86_a_ibm_1401__1_3_2 NS n86_a_ibm_1401__1_3->n86_a_ibm_1401__1_3_2 n86_a_ibm_1401__1_3_1->n86_a_ibm_1401__1_3_1_1 n86_a_ibm_1401__1_3_2->n86_a_ibm_1401__1_3_2_1 n86_a_ibm_1401__1_4_1 AVLYR n86_a_ibm_1401__1_4->n86_a_ibm_1401__1_4_1 n86_a_ibm_1401__1_4_1_1 AVLYR n86_a_ibm_1401__1_4_1->n86_a_ibm_1401__1_4_1_1 n86_a_ibm_1401__1_4_1_2 CONJP n86_a_ibm_1401__1_4_1->n86_a_ibm_1401__1_4_1_2 n86_a_ibm_1401__1_4_1_1_1 ADV n86_a_ibm_1401__1_4_1_1->n86_a_ibm_1401__1_4_1_1_1 n86_a_ibm_1401__1_4_1_1_1->n86_a_ibm_1401__1_4_1_1_1_1 n86_a_ibm_1401__1_4_1_2_1 CONJ n86_a_ibm_1401__1_4_1_2->n86_a_ibm_1401__1_4_1_2_1 n86_a_ibm_1401__1_4_1_2_2 AVLYR n86_a_ibm_1401__1_4_1_2->n86_a_ibm_1401__1_4_1_2_2 n86_a_ibm_1401__1_4_1_2_1->n86_a_ibm_1401__1_4_1_2_1_1 n86_a_ibm_1401__1_4_1_2_2_1 ADV n86_a_ibm_1401__1_4_1_2_2->n86_a_ibm_1401__1_4_1_2_2_1 n86_a_ibm_1401__1_4_1_2_2_1->n86_a_ibm_1401__1_4_1_2_2_1_1 n86_a_ibm_1401__1_5->n86_a_ibm_1401__1_5_1 
( (IP-MAT (NP-SBJ (ADJP (ADJR More;{more})
                        (PP (P-ROLE than;{than})
                            (NP (NUM 200))))
                  (N branch;{branch})
                  (NS offices;{office}))
          (VBP;_Tn_ serve;{serve})
          (NP-OB1 (N customer;{customer})
                  (NS needs;{need}))
          (ADVP-NIM (AVLYR (AVLYR (ADV promptly;{promptly}))
                           (CONJP (CONJ and;{and})
                                  (AVLYR (ADV efficiently;{efficiently})))))
          (PUNC .))
  (ID 86_a_ibm_1401))