[kisoron-ml] pomset logic