Assertion list
different platform (subgroup of platform ) → CapableOf
Results from Ascent++: 1
different platform → CapableOf → provide different functionality 0.25