Assertion list
fluid (primary) → AtLocation
Results from Ascent++: 7
fluid → AtLocation → proper levels 0.54
fluid → AtLocation → equilibrium 0.41
fluid → AtLocation → fluid communication 0.33
fluid → AtLocation → other designs 0.33
fluid → AtLocation → different temperatures 0.30
fluid → AtLocation → operating temperature 0.25
fluid → AtLocation → space 0.25