Mark Steedman Type-Raising and Directionality in Combinatory Grammar. 71-78 1991 ACL db/conf/acl/acl91.html#Steedman91