Translation of xAPI-Spec