Text this: Tabling with Sound Answer Subsumption.