Assertion list
known moon (subgroup of moon ) → IsA
Results from Ascent++: 1
known moon → IsA → charon 0.25