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

Question

Ниже представлена ​​модель людей и их отцов. Я хочу, чтобы анализатор сплавов показывал экземпляр модели. В инструменте «Сплав» я выбираю «Run Show» (в меню Execute). Затем я выбираю кнопку «Показать». Вот что показывает визуализатор:

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

sig Person {father: Person} 

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

pred Show {} 

run Show 

Answer 1

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