Assertion list
marauder (primary) → HasProperty
Results from Ascent++: 3
marauder → HasProperty → flexible 0.40
marauder → HasProperty → perfect 0.16
marauder → HasProperty → strong 0.16