[not loaded]All predicatesShow sourcesolve_findall_superset.pl