Assertion list
toilet seat (primary) → HasA
Results from Ascent++: 1
toilet seat → HasA → lid 0.30