Natural Logic: Revision History