Assertion list
photocopier (primary) → HasProperty
Results from Ascent++: 1
photocopier → HasProperty → expensive 0.16