defined getters for Schemes, Facts, and most of Rules