Assertion list
cirrostratus (primary) → HasProperty

Results from Ascent++: 1
cirrostratusHasProperty thin 0.69