This predicate is undefined in the sense of well founded
semantics (see section 7.6
Any answer that depends on this condition is undefined because either
the restraint on the subgoal size or answer size was violated.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in