Added paragraphs on ^ in answer subsumptive table declarations, and
mentioning use of non-variables in the subsumption position of calls to partial-order answer subsumption predicates.
Authored by: dwarren 2015-04-14
Parent: [r8319]
Child: [r8321]
