Assertion list
faucet (primary) → AtLocation
Results from Ascent++: 2
faucet → AtLocation → a variety of colors 0.30
faucet → AtLocation → hole 0.29