Added modus ponens rules for subsets and relations