Assertion list
viscount (primary) → HasProperty
Results from Ascent++: 2
viscount → HasProperty → perfect 0.59
viscount → HasProperty → successful 0.40