Added some of the subsumption demos from Sneps-2004.
Added check for contradictions, which produces a warning.