Assertion list
technical specification (subgroup of specification ) → IsA
Results from Ascent++: 2
technical specification → IsA → under revision 0.51
technical specification → IsA → approximation 0.25