Assertion list
time (aspect of astronomer ) → HasA

Results from Ascent++: 1
timeHasA beginning 0.34