Assertion list
sky lantern (subgroup of lantern ) → HasProperty
Results from Ascent++: 1
sky lantern → HasProperty → legal 0.49