Assertion list
unicycle (primary) → HasProperty
Results from Ascent++: 3
unicycle → HasProperty → suitable 0.68
unicycle → HasProperty → more expensive 0.25
unicycle → HasProperty → portable 0.16