A preferential, pattern-seeking semantics for natural language inference