cora in json (without name-splitting)