Return to Article Details A system for proper multiple-conclusion entailment Download Download PDF