GOALParseException > ParserException and KRLanguage > KRInterface