Return to Article Details Proto-Entailment in RS logic Download Download PDF