Assertion list
screen (aspect of fold ) → HasA

Results from Ascent++: 1
screenHasA crease 0.68