Sturm_Tarski.Tarski_Query_Impl