From a33196c05597b5af2941191fd7475d86faea6952 Mon Sep 17 00:00:00 2001
From: Jazzpirate <raupi@jazzpirate.com>
Date: Fri, 9 Feb 2024 09:43:14 +0100
Subject: [PATCH] fix for answerclasses in stex

---
 .../src/main/info/kwarc/mmt/api/ontology/ULO.scala        | 2 +-
 .../kwarc/mmt/stex/Extensions/DocumentExtension.scala     | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/mmt-api/src/main/info/kwarc/mmt/api/ontology/ULO.scala b/src/mmt-api/src/main/info/kwarc/mmt/api/ontology/ULO.scala
index 291c4ac279..85e720d926 100644
--- a/src/mmt-api/src/main/info/kwarc/mmt/api/ontology/ULO.scala
+++ b/src/mmt-api/src/main/info/kwarc/mmt/api/ontology/ULO.scala
@@ -279,7 +279,7 @@ object ULO {
 
   val specifies = new ObjectProperty("specifies",Some(Declares))
     .domain(physical)
-    .domain(logical)
+    .range(logical)
     .comment("The physical organizational item S specifies a knowledge item O, i.e. S is represented in O.")
   val specified_in = new ObjectProperty("specified_in")
     .inverseOf(specifies)
diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala
index 6335e0f646..398c174ca1 100644
--- a/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala
+++ b/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala
@@ -979,6 +979,13 @@ trait SHTMLDocumentServer { this : STeXServer =>
           case Some(pts) => plain.attributes((this.namespace,"data-problem-answerclass-pts")) = pts
           case _ =>
         }
+      }
+    }
+    case class AnswerClassFeedback(orig:HTMLNode) extends SHTMLNode(orig) {
+      def copy = AnswerClassFeedback(orig.copy)
+
+      override def onAdd = {
+        super.onAdd
         plain.attributes.get((HTMLParser.ns_shtml,"answerclass-feedback")) match {
           case Some(fdb) => plain.attributes((this.namespace,"data-problem-answerclass-feedback")) = fdb
           case _ =>
@@ -1050,6 +1057,7 @@ trait SHTMLDocumentServer { this : STeXServer =>
     simple("problemnote", n => ProblemNote(n))
     simple("problemgnote", n => ProblemGNote(n))
     simple("answerclass", n => AnswerClass(n))
+    simple("answerclass-feedback", n => AnswerClassFeedback(n))
     simple("problempoints", n => ProblemPoints(n))
     simple("problemminutes", n => ProblemMinutes(n))
     simple("slideshow", n => Slideshow(n))