logiclanguage.ecore logicproblem.ecore logicresult.ecore