prove code
type: Property
domain: Settlement
range: string
type: DatatypeProperty