This database entry builds on the following:

  1. Terminology: Class, statement
  2. Terminology: Inference, entailment