Assertion list
leaky faucet (subgroup of faucet ) → IsA

Results from Ascent++: 1
leaky faucetIsA tenuous contention 0.68