Semantic Logic/Calculus
  • TODO