changed name of contextset to refdomain
added a section about entailment to documentation