Assertion list
rathskeller (primary) → HasProperty

Results from Ascent++: 1
rathskellerHasProperty open 0.25