Assertion list
dlp projector (subgroup of projector ) → HasProperty
Results from Ascent++: 1
dlp projector → HasProperty → smaller 0.70