Assertion list
vcr (primary) → HasProperty
Results from Ascent++: 3
vcr → HasProperty → illegal 0.25
vcr → HasProperty → expensive 0.16
vcr → HasProperty → old 0.16