Assertion list for term "shadowed area fraction".
Results from Ascent++: 1
square → HasA → shadowed area fraction 0.09