Assertion list for term "float at same time".
Results from Ascent++: 1
valve → CapableOf → float at same time 0.44