Enums§
- Implication
- Represent the “level” of an implication between two predicates A and B
- Predicate
- A predicate is a boolean expression that can contain arguments with unknown values.
- Value
- In a Predicate, a value can either be a literal or an argument.