RALTeam semantics has been tested by constructing the KB and resolving all the types of expressions the language allows defining. An application to test the resolution of the RALTeam expressions in an easier way can be downloaded from here: https://github.com/isa-group/cristal/tree/master/ral-team