(as summarized by Harnad)
'have'),
function constants ('lex'), variables ('Buyer')
passivization = \
(('assert',
set((('agent', 'Ag'), ('patient', 'Pt'), ('action', 'Ac'),
('time', 'Tm'), ('focus', 'Ag')))),
('sentence',
('lex', 'Pt'),
('morph', 'be', ('tense', 'Tm')), ('morph', ('lex', 'Ac'), 'pp'),
'by', ('lex', 'Ag')))
buying = \
((('have', 'Buyer', 'Price', 'Sit'),
('have', 'Seller', 'Merch', 'Sit')),
(('have', 'Buyer', 'Merch',
('buy', 'Buyer', 'Seller', 'Merch', 'Price', 'Sit')),
('have', 'Seller', 'Price',
('buy', 'Buyer', 'Seller', 'Merch', 'Price', 'Sit'))))