Assertion list
time (aspect of hoarder ) → HasA
Results from Ascent++: 1
time → HasA → more stuff 0.62