Assertion list
scratch (primary) → AtLocation
Results from Ascent++: 2
scratch → AtLocation → oleophobic coating 0.25
scratch → AtLocation → the coating 0.25