Assertion list for term "be a satellite of venus".

Results from Ascent++: 1
mercury CapableOfbe a satellite of venus 0.31