conceptEntailmentWordsTruth of one statement forcing truth of another in all worlds. Not presupposition-semantic as shared background alone, and not implicature-pragmatics as speaker inference alone.