DMCA

A ‘Natural Logic ’ inference system using the Lambek

by Anna Zamansky , Nissim Francez , Yoad Winter