Assertion list
darkroom (primary) → HasProperty
Results from Ascent++: 2
darkroom → HasProperty → small 0.38
darkroom → HasProperty → open 0.25