Assertion list
mobile operating system (subgroup of operating system ) → CapableOf
Results from Ascent++: 1
mobile operating system → CapableOf → call mobile os 0.25