Property:^xsd:nonNegativeInteger