Title: Zhi yue luo ji
Subjects: Entailment (Logic)