Created submodule LogicForModulePresentations