Assertion list
baby swing (subgroup of swing ) → HasProperty
Results from Ascent++: 2
baby swing → HasProperty → perfect 0.59
baby swing → HasProperty → safe 0.34