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_90_5_WILL_BE,R_90_2_IBM_SALES_REPRESENTATIVE,R_90_1_YOUR,R_90_7_PLEASED] :
( your(R_90_1_YOUR)
& will_be(R_90_5_WILL_BE,R_90_2_IBM_SALES_REPRESENTATIVE,R_90_7_PLEASED)
& iBM_Sales_Representative(R_90_2_IBM_SALES_REPRESENTATIVE)
& gen(R_90_2_IBM_SALES_REPRESENTATIVE,R_90_1_YOUR)
& ! [Z_90_A_IBM_1401_25,R_90_12_THEM] :
( ( them(R_90_12_THEM)
& z_90_a_ibm_1401_25(Z_90_A_IBM_1401_25)
& of(Z_90_A_IBM_1401_25,R_90_12_THEM) )
=> ? [R_90_8_TO_DISCUSS,Z_90_A_IBM_1401_20] :
( to_discuss(R_90_8_TO_DISCUSS,Z_90_A_IBM_1401_20,Z_90_A_IBM_1401_25)
& with_nim37(R_90_8_TO_DISCUSS,R_90_1_YOUR) ) )
& emb20(EMB20)
& pleased(R_90_7_PLEASED) ) ).
( (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))