Did you know? anything in single quotes is an atomSearch Documentation:
SWI-Prolog owl logoPredicate all_distinct/1