Assertion list
opening ceremony (subgroup of ceremony ) → HasProperty
Results from Ascent++: 1
opening ceremony → HasProperty → good 0.16