Title: [Symposium] entailment, 2
Subjects: Logic