Did you know? condition is an alternative to exceptionsSearch Documentation:
SWI-Prolog owl logoPredicate between/3