Assertion list
philosopher (primary) → AtLocation
Results from Ascent++: 2
philosopher → AtLocation → effect 0.25
philosopher → AtLocation → ivory towers 0.16