Improve manual
Change version of SPARC in the manual
Change the answer to non ground query from no to unknown for the case no proper replacement is found