The YASMINE (Yet Another Symbolic Modelling INteractive Engine) Project