Predicate logic is mainly used to:
Draw diagrams
Discuss theoretical concepts, mathematical formulas, and architectural foundations.
`backticks`