CLIPSAS loading ...