Alloy - Проверить правильность предиката?

В настоящее время я играю с предикатами в Alloy. Я знаю, что могу использовать операторы assert и check, чтобы убедиться, что моя модель работает должным образом. Однако есть ли способ проверить, что созданный мной предикат сделал то, что я ожидал? Или мне просто нужно показать экземпляры и искать их вручную?