Assertion list
white lie (subgroup of lie ) → HasProperty
Results from Ascent++: 2
white lie → HasProperty → acceptable 0.60
white lie → HasProperty → harmless 0.25