Assertion list
tutorial (primary) → HasA
Results from Ascent++: 2
tutorial → HasA → specified and known objectives 0.41
tutorial → HasA → introduction 0.31