Lifted Logic MDM_6