<xs:simpleType name="PredicateName"> <xs:restriction base="xs:string"> <xs:pattern value="\c+"/> </xs:restriction> </xs:simpleType>