prove code
type: DatatypeProperty
describedby: definitions.ttl
range: string
type: Property
domain: Settlement