opengrammar (pypi): Open Source Inference Engine
Keywords: semantics|theorem|prover|logic|inference|syntax