Assertion list
osmosis (primary) → IsA
Results from Ascent++: 2
osmosis → IsA → the diffusion of water 0.68
osmosis → IsA → special case of diffusion 0.60