xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"