observes the phases of Venus and the moons of Jupiter (the phases of Venus effectively prove that the planets revolve around the Sun;
(the moons of Jupiter; effectively prove; that the planets revolve around the Sun) Context(the moons of Jupiter effectively prove,List([33, 92))):(the planets; revolve; around the Sun)
the moons of Jupiter effectively prove,List([33, 92))
the moons of Jupiter the planets
effectively prove revolve
that the planets revolve around the Sun
around the Sun