What should an ASP Solver output? A Multiple Position Paper