Assertion list
professional painter (subgroup of painter ) → HasProperty
Results from Ascent++: 1
professional painter → HasProperty → more skilled 0.19