Returns true if this premise does not have an inference operator at
its root. Equivalent to !isInference().
Whether this premise is a constraint.
Returns true if the root expression is an implies or iff
operator, meaning this premise expresses a logical inference
relationship.
Whether this premise is an inference.
Premise type classification (inference vs constraint).