Assertion list
number (aspect of lcd ) → HasProperty
Results from Ascent++: 2
number → HasProperty → small 0.42
number → HasProperty → large 0.26