Assertion list
ceramic (primary) → AtLocation
Results from Ascent++: 1
ceramic → AtLocation → watch 0.36