The translator from the ASLan++ specito ASLan (and back) of the AVANTSSAR and SPaCIoS EU projects