Move the inference system to the oset notation