Assertion list for term "mars".
Results from Ascent++: 2
mercury → AtLocation → mars 0.41
inner solar system (subgroup of solar system) → HasA → mars 0.33