Gentzen-Type System for Verification in Conceptual Modeling