Assertion list
sink (aspect of toilet ) → HasA
Results from Ascent++: 2
sink → HasA → faucet 0.25
sink → HasA → a garbage disposal 0.16