added umbrella class to LogicLanguage