Assertion list
logic puzzle (subgroup of puzzle ) → HasProperty
Results from Ascent++: 1
logic puzzle → HasProperty → fun 0.16