Assertion list
skill (aspect of student ) → AtLocation
Results from Ascent++: 1
skill → AtLocation → necessary level 0.30