Assertion list
flow rate (aspect of water heater ) → HasProperty
Results from Ascent++: 1
flow rate → HasProperty → low 0.68