TSPC 90_a_ibm

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

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_0002__IBM_r_0090_0003__Sales_r_0090_0004__Representative, arg0).
arc(r_0090_0006__be, r_0090_0007__pleased, prd).
arc(r_0090_0007__pleased, r_0090_0010__all_quant, emb20).
arc(r_0090_0008__to_r_0090_0009__discuss, r_0090_0001__Your, r_0090_0013__with_nim37).
arc(r_0090_0008__to_r_0090_0009__discuss, z_000_90_a_ibm_1401_20, arg0).
arc(r_0090_0008__to_r_0090_0009__discuss, z_000_90_a_ibm_1401_25, arg1).
arc(r_0090_0010__all_quant, r_0090_0008__to_r_0090_0009__discuss, scope).
arc(r_0090_0010__all_quant, z_000_90_a_ibm_1401_25, restriction).
arc(z_000_90_a_ibm_1401_25, r_0090_0012__them, r_0090_0011__of).

fof(formula,axiom,
    ? [R_0090_0001__YOUR,R_0090_0002__IBM_R_0090_0003__SALES_R_0090_0004__REPRESENTATIVE,R_0090_0007__PLEASED,R_0090_0005__WILL_R_0090_0006__BE] :
      ( r_0090_0001__Your(R_0090_0001__YOUR)
      & r_0090_0005__will_r_0090_0006__be(R_0090_0005__WILL_R_0090_0006__BE)
      & has_prd(R_0090_0005__WILL_R_0090_0006__BE,R_0090_0007__PLEASED)
      & r_0090_0007__pleased(R_0090_0007__PLEASED)
      & ! [Z_000_90_A_IBM_1401_25,R_0090_0012__THEM] :
          ( ( r_0090_0012__them(R_0090_0012__THEM)
            & z_000_90_a_ibm_1401_25(Z_000_90_A_IBM_1401_25)
            & has_r_0090_0011__of(Z_000_90_A_IBM_1401_25,R_0090_0012__THEM) )
         => ? [Z_000_90_A_IBM_1401_20,R_0090_0008__TO_R_0090_0009__DISCUSS] :
              ( z_000_90_a_ibm_1401_20(Z_000_90_A_IBM_1401_20)
              & r_0090_0008__to_r_0090_0009__discuss(R_0090_0008__TO_R_0090_0009__DISCUSS)
              & has_arg1(R_0090_0008__TO_R_0090_0009__DISCUSS,Z_000_90_A_IBM_1401_25)
              & has_arg0(R_0090_0008__TO_R_0090_0009__DISCUSS,Z_000_90_A_IBM_1401_20)
              & has_r_0090_0013__with_nim37(R_0090_0008__TO_R_0090_0009__DISCUSS,R_0090_0001__YOUR) ) )
      & has_arg0(R_0090_0005__WILL_R_0090_0006__BE,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) ) ).

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