Models with tag: logic-based generation