Logical inference system based on event semantics and degree semantics in formal semantics
Primary LanguagePython