Assertion list
sink drain (subgroup of drain ) → ReceivesAction
Results from Ascent++: 1
sink drain → ReceivesAction → clogged 0.16