Assertion list
true cinnamon (subgroup of cinnamon ) → HasProperty
Results from Ascent++: 1
true cinnamon → HasProperty → more expensive 0.38