Assertion list
wrinkle (primary) → DefinedAs

Results from Ascent++: 1
wrinkleDefinedAs crease 0.25