no contest
type: Property
range: nonNegativeInteger
type: DatatypeProperty
domain: Boxer