Implement facts and basic support for general rules