R1: GetDescription response is Description
name(/ResponseMessage[1]/*[1]) = 'Description'

R1: selectedProfile configuration present
count(/ResponseMessage[1]/*[1]/Setting[@key='selectedProfile'] | /ResponseMessage[1]/*[1]/Property[@key='selectedProfile'])=1

R1: appliedSemantics configuration present
count(/ResponseMessage[1]/*[1]/Setting[@key='appliedSemantics'] | /ResponseMessage[1]/*[1]/Property[@key='appliedSemantics'])=1

R1: supportedDatatypes configuration present
count(/ResponseMessage[1]/*[1]/Setting[@key='supportedDatatypes'] | /ResponseMessage[1]/*[1]/Property[@key='supportedDatatypes'])=1

R1: abbreviatesIRIs configuration present
count(/ResponseMessage[1]/*[1]/Setting[@key='abbreviatesIRIs'] | /ResponseMessage[1]/*[1]/Property[@key='abbreviatesIRIs'])=1

R1: ignoresAnnotations configuration present
count(/ResponseMessage[1]/*[1]/Setting[@key='ignoresAnnotations'] | /ResponseMessage[1]/*[1]/Property[@key='ignoresAnnotations'])=1

R1: ignoresDeclarations configuration present
count(/ResponseMessage[1]/*[1]/Setting[@key='ignoresDeclarations'] | /ResponseMessage[1]/*[1]/Property[@key='ignoresDeclarations'])=1

R1: uniqueNameAssumption configuration present
count(/ResponseMessage[1]/*[1]/Setting[@key='uniqueNameAssumption'] | /ResponseMessage[1]/*[1]/Property[@key='uniqueNameAssumption'])=1

R1: type of selectedProfile setting correct
count(/ResponseMessage[1]/*[1]/*[@key='selectedProfile']/OneOf[@IRI='http://www.w3.org/2001/XMLSchema#string' or @abbreviatedIRI='xsd:string'])=1

R1: type of appliedSemantics configuration correct
count(/ResponseMessage[1]/*[1]/*[@key='appliedSemantics']/OneOf[@IRI='http://www.w3.org/2001/XMLSchema#string' or @abbreviatedIRI='xsd:string'])=1

R1: type of supportedDatatypes configuration correct
count(/ResponseMessage[1]/*[1]/*[@key='supportedDatatypes']/List[@IRI='http://www.w3.org/2001/XMLSchema#anyURI' or @abbreviatedIRI='xsd:anyURI'])=1

R1: type of abbreviatesIRIs configuration correct
count(/ResponseMessage[1]/*[1]/*[@key='abbreviatesIRIs']/Datatype[@IRI='http://www.w3.org/2001/XMLSchema#boolean' or @abbreviatedIRI='xsd:boolean'])=1

R1: type of ignoresAnnotations configuration correct
count(/ResponseMessage[1]/*[1]/*[@key='ignoresAnnotations']/Datatype[@IRI='http://www.w3.org/2001/XMLSchema#boolean' or @abbreviatedIRI='xsd:boolean'])=1

R1: type of ignoresDeclarations configuration correct
count(/ResponseMessage[1]/*[1]/*[@key='ignoresDeclarations']/Datatype[@IRI='http://www.w3.org/2001/XMLSchema#boolean' or @abbreviatedIRI='xsd:boolean'])=1

R1: type of uniqueNameAssumption configuration correct
count(/ResponseMessage[1]/*[1]/*[@key='uniqueNameAssumption']/Datatype[@IRI='http://www.w3.org/2001/XMLSchema#boolean' or @abbreviatedIRI='xsd:boolean'])=1

R1: value of selectedProfile contained in OneOf
count(/ResponseMessage[1]/*[1]/*[@key='selectedProfile']/OneOf/Literal[.= string(/ResponseMessage/Description/*[@key='selectedProfile']/Literal)])=1

R1: value of appliedSemantics correct
count(/ResponseMessage[1]/*[1]/*[@key='appliedSemantics']/Literal[.='direct' or .='RDF-based'])=1

R1: value of abbreviatesIRIs correct
count(/ResponseMessage[1]/*[1]/*[@key='abbreviatesIRIs']/Literal[.='false' or .='true'])=1

R1: value of ignoresAnnotations correct
count(/ResponseMessage[1]/*[1]/*[@key='ignoresAnnotations']/Literal[.='false' or .='true'])=1

R1: value of ignoresDeclarations correct
count(/ResponseMessage[1]/*[1]/*[@key='ignoresDeclarations']/Literal[.='false' or .='true'])=1

R1: value of uniqueNameAssumption correct
count(/ResponseMessage[1]/*[1]/*[@key='uniqueNameAssumption']/Literal[.='false' or .='true'])=1

R1: reported publicKB kb identifiers disjoint
count(/ResponseMessage[1]/*[1]/PublicKB/@kb[not(. = ../preceding-sibling::PublicKB/@kb)])=count(/ResponseMessage/Description/PublicKB/@kb)

R1: all publicKBs have a name
count(/ResponseMessage[1]/*[1]/PublicKB//@name)=count(/ResponseMessage/Description/PublicKB/@kb)

R1: IRIs of supported extensions are disjoint
count(/ResponseMessage[1]/*[1]/SupportedExtension/@identifier[not(. = ../preceding-sibling::SupportedExtension/@identifier)])=count(/ResponseMessage/Description/SupportedExtension/@identifier)