Assertion list
galilean moon (subgroup of moon ) → IsA
Results from Ascent++: 3
galilean moon → IsA → callisto 0.47
galilean moon → IsA → europa 0.38
galilean moon → IsA → io 0.38