Assertion list
beginning (aspect of universe ) → HasProperty
Results from Ascent++: 2
beginning → HasProperty → concurrent 0.25
beginning → HasProperty → meaningless 0.25