Assertion list
cenotaph (primary) → HasProperty
Results from Ascent++: 2
cenotaph → HasProperty → bigger 0.25
cenotaph → HasProperty → fake 0.16