logic2vampire.ecore