[not loaded]All predicatesShow sourcestream_reasoning.pl