Availability:built-in
[undefined]radial_restraintThis predicate is undefined in the sense of well founded
semantics (see section 7.6
and undefined/0).
Any answer that depends on this condition is undefined because either
the restraint on the subgoal size or answer size was violated.