Assertion list
parameter (aspect of distribution ) → IsA
Results from Ascent++: 1
parameter → IsA → numerical quantity 0.25