Assertion list
unit (aspect of division ) → HasProperty
Results from Ascent++: 6
unit → HasProperty → transferable 0.57
unit → HasProperty → appropriate 0.39
unit → HasProperty → active 0.33
unit → HasProperty → functional 0.25
unit → HasProperty → smaller 0.25
unit → HasProperty → close 0.16