Assertion list
k projector (subgroup of projector ) → HasProperty
Results from Ascent++: 2
k projector → HasProperty → expensive 0.59
k projector → HasProperty → innovative 0.16