Assertion list
shingle (primary) → AtLocation
Results from Ascent++: 1
shingle → AtLocation → cedar shake 0.25