Assertion list
functional requirement (subgroup of requirement ) → CapableOf
Results from Ascent++: 1
functional requirement → CapableOf → describe function 0.84