Assertion list
mirage (primary) → HasProperty
Results from Ascent++: 8
mirage → HasProperty → perfect 0.47
mirage → HasProperty → invisible 0.44
mirage → HasProperty → amazing 0.40
mirage → HasProperty → powerful 0.33
mirage → HasProperty → bad 0.16
mirage → HasProperty → easy 0.16
mirage → HasProperty → more expensive 0.16
mirage → HasProperty → nimble 0.16