Assertion list
summer vacation (subgroup of vacation ) → IsA
Results from Ascent++: 1
summer vacation → IsA → on vacation 0.25