The Textual Inference Rules Klal UPrat. How the Talmud Defines Sets