Assertion list
caveman (primary) → AtLocation
Results from Ascent++: 2
caveman → AtLocation → split-level homes 0.68
caveman → AtLocation → cave 0.16