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