Assertion list
hamlet (primary) → AtLocation
Results from Ascent++: 1
hamlet → AtLocation → mourning 0.16