[logic-ml] continuous model theory