SMS: Knowledge representation and reasoning