Assertion list
hat (primary) → AtLocation
Results from Ascent++: 3
hat → AtLocation → direct contact 0.32
hat → AtLocation → the ring 0.30
hat → AtLocation → the background 0.25