Assertion list
inner moon (subgroup of moon ) → HasProperty
Results from Ascent++: 1
inner moon → HasProperty → young 0.68