Assertion list
known moon (subgroup of moon ) → ReceivesAction
Results from Ascent++: 1
known moon → ReceivesAction → discovered in 2005 0.25