Controlled Natural Languages and Default Reasoning