TSPC 90_a_ibm

90_a_ibm_1401
Your IBM Sales Representative will be pleased to discuss all of them with you.

( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
                  (NPR IBM;{IBM})
                  (NS Sales;{sale})
                  (N Representative;{representative}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ;_cat_ pleased;{pleased})
                                (IP-INF (TO to;{to})
                                        (VB;_Tn_ discuss;{discuss})
                                        (NP-OB1 (Q;_nphd_ all;{all})
                                                (PP (P-ROLE of;{of})
                                                    (NP;{SERVICES} (PRO them;{they}))))
                                        (PP-NIM (P-ROLE with;{with})
                                                (NP (PRO you;{you}))))))
          (PUNC .))
  (ID 90_a_ibm_1401))

arc(r_0090_0002__IBM_r_0090_0003__Sales_r_0090_0004__Representative,r_0090_0001__Your,gen).
arc(r_0090_0005__will,r_0090_0006__be,scope).
arc(r_0090_0006__be,r_0090_0007__pleased,scope).
arc(r_0090_0007__pleased,r_0090_0009__discuss,scope).
arc(r_0090_0009__discuss,r_0090_0001__Your,r_0090_0013__with__nim).
arc(r_0090_0009__discuss,r_0090_0002__IBM_r_0090_0003__Sales_r_0090_0004__Representative,arg0).
arc(r_0090_0009__discuss,z_0090_5004,arg1).
arc(r_0090_0010__all__quant,r_0090_0005__will,scope).
arc(r_0090_0010__all__quant,z_0090_5004,restriction).
arc(z_0090_5004,r_0090_0012__them,r_0090_0011__of).

fof(formula,axiom,
    ! [Z_0090_5004,R_0090_0012__THEM] :
      ( ( r_0090_0012__them(R_0090_0012__THEM)
        & z_0090_5004(Z_0090_5004)
        & has_r_0090_0011__of(Z_0090_5004,R_0090_0012__THEM) )
     => ? [R_0090_0001__YOUR,R_0090_0002__IBM_R_0090_0003__SALES_R_0090_0004__REPRESENTATIVE,R_0090_0005__WILL_R_0090_0006__BE_R_0090_0007__PLEASED_R_0090_0009__DISCUSS] :
          ( r_0090_0001__Your(R_0090_0001__YOUR)
          & r_0090_0005__will_r_0090_0006__be_r_0090_0007__pleased_r_0090_0009__discuss(R_0090_0005__WILL_R_0090_0006__BE_R_0090_0007__PLEASED_R_0090_0009__DISCUSS)
          & has_arg1(R_0090_0005__WILL_R_0090_0006__BE_R_0090_0007__PLEASED_R_0090_0009__DISCUSS,Z_0090_5004)
          & has_arg0(R_0090_0005__WILL_R_0090_0006__BE_R_0090_0007__PLEASED_R_0090_0009__DISCUSS,R_0090_0002__IBM_R_0090_0003__SALES_R_0090_0004__REPRESENTATIVE)
          & r_0090_0002__IBM_r_0090_0003__Sales_r_0090_0004__Representative(R_0090_0002__IBM_R_0090_0003__SALES_R_0090_0004__REPRESENTATIVE)
          & has_gen(R_0090_0002__IBM_R_0090_0003__SALES_R_0090_0004__REPRESENTATIVE,R_0090_0001__YOUR)
          & has_r_0090_0013__with__nim(R_0090_0005__WILL_R_0090_0006__BE_R_0090_0007__PLEASED_R_0090_0009__DISCUSS,R_0090_0001__YOUR) ) ) ).