Formalizing SCMP language.