Loading annotation for carnap.io