Assertion list
inner solar system (subgroup of solar system ) → HasA
Results from Ascent++: 4
inner solar system → HasA → the sun 0.68
inner solar system → HasA → mars 0.33
inner solar system → HasA → mercury 0.33
inner solar system → HasA → venus 0.33