Assertion list
power cable (subgroup of cable ) → CapableOf
Results from Ascent++: 1
power cable → CapableOf → use high-voltage cable 0.25