domains annotation provenance