Почему визуализатор говорит, что каждый атом скрыт?

Question

Ниже приведена модель лиц и их отцов. Я хочу, чтобы Alloy Analyzer показал экземпляр модели. В инструменте Alloy я выбираю "Run Show" (в меню "Выполнить"). Затем я выбираю кнопку "Показать". Вот что отображает документ-камера:

Я не знаю, что это значит. Я нажал на тему и не вижу ничего, что могло бы помочь мне "показать" атомы. Помогите! Почему визуализатор показывает это?

sig Person {father: Person}

fact {
    no p: Person | p in p.^father
}

pred Show {}

run Show

Answer 1

Это означает, что либо в растворе нет атомов, либо они есть, но они скрыты темой. В этом случае кажется, что это тот, в котором нет атомов. Мы должны исправить это сообщение...

Answer 2

Что касается меня, то я забыл добавить:

      pred show {}
run show for 3

внизу.

Answer 3

Меня это смутило, а затем я нажал кнопку "Magic Layout" и увидел несколько элементов. Я думаю, что стандартные "Настройки темы" позволяют всем элементам быть вне окна просмотра, и что "Magic Layout" исправляет это.