TSPC 86_a_ibm

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

( (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))

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,attrib).
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,nim).
arc(r_0086_0010__and,r_0086_0009__promptly,conj1).
arc(r_0086_0010__and,r_0086_0011__efficiently,conj2).

fof(formula,axiom,
    ? [R_0086_0003__200,R_0086_0001__MORE,R_0086_0004__BRANCH_R_0086_0005__OFFICES,R_0086_0007__CUSTOMER_R_0086_0008__NEEDS,R_0086_0009__PROMPTLY,R_0086_0011__EFFICIENTLY,R_0086_0010__AND,R_0086_0006__SERVE] :
      ( r_0086_0003__200(R_0086_0003__200)
      & r_0086_0007__customer_r_0086_0008__needs(R_0086_0007__CUSTOMER_R_0086_0008__NEEDS)
      & r_0086_0009__promptly(R_0086_0009__PROMPTLY)
      & r_0086_0011__efficiently(R_0086_0011__EFFICIENTLY)
      & r_0086_0006__serve(R_0086_0006__SERVE)
      & has_nim(R_0086_0006__SERVE,R_0086_0010__AND)
      & r_0086_0010__and(R_0086_0010__AND)
      & has_conj2(R_0086_0010__AND,R_0086_0011__EFFICIENTLY)
      & has_conj1(R_0086_0010__AND,R_0086_0009__PROMPTLY)
      & has_arg1(R_0086_0006__SERVE,R_0086_0007__CUSTOMER_R_0086_0008__NEEDS)
      & has_arg0(R_0086_0006__SERVE,R_0086_0004__BRANCH_R_0086_0005__OFFICES)
      & r_0086_0004__branch_r_0086_0005__offices(R_0086_0004__BRANCH_R_0086_0005__OFFICES)
      & has_attrib(R_0086_0004__BRANCH_R_0086_0005__OFFICES,R_0086_0001__MORE)
      & r_0086_0001__More(R_0086_0001__MORE)
      & has_r_0086_0002__than(R_0086_0001__MORE,R_0086_0003__200) ) ).