Assertion list for term "proper levels".
Results from Ascent++: 1
fluid → AtLocation → proper levels 0.54