Validation and assessment of entailment methods
General principles
(Define and discuss concepts of validation, assessment, and
postulates)
Upper bounds on range of applicability
Assessments of entailment methods wrt strict inertia
Assessments of entailment methods wrt ramification