CIMO-logic Framework