Assertion list for term "good screen".
Results from Ascent++: 1
prop → AtLocation → good screen 0.16