add support for the carneades properties