Assertion list
domain (aspect of function ) → HasProperty
Results from Ascent++: 6
domain → HasProperty → identical 0.42
domain → HasProperty → equal 0.35
domain → HasProperty → real 0.35
domain → HasProperty → active 0.25
domain → HasProperty → convex 0.25
domain → HasProperty → open 0.25