more operators in facts and rules