Facts and rules (2)