Sementics to semi-formal