Assertion list for term "free of leak".
Results from Ascent++: 2
tank → ReceivesAction → free of leak 0.34
basement → ReceivesAction → free of leak 0.25