Assertion list
portable computer (subgroup of computer ) → HasProperty
Results from Ascent++: 2
portable computer → HasProperty → light 0.16
portable computer → HasProperty → powerful 0.16