Assertion list
beginning (aspect of universe ) → HasProperty

Results from Ascent++: 2
beginningHasProperty concurrent 0.25
beginningHasProperty meaningless 0.25