Assertion list
stipulative definition (subgroup of definition ) ā†’ IsA
Results from Ascent++: 1
stipulative definition ā†’ IsA ā†’ considered temporary, working dā€¦ 0.25