[logic-ml] pomset logic