Tools for OpenNARS