clear up I12 / I18

ackrep-org · Dec 1, 2023 · cdab917 · cdab917
1 parent 638be26
commit cdab917
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/pyerk/builtin_entities.py b/src/pyerk/builtin_entities.py
@@ -1364,11 +1364,11 @@ def _get_items_for_scope(self):
 
 I18 = create_builtin_item(
     key_str="I18",
-    R1__has_label="mathematical expression",
+    R1__has_label="mathematical expression", # = math. term
     R2__has_description=(
         "mathematical expression, e.g. represented by a LaTeX-string; this might change in the future to MathMl"
     ),
-    R4__is_instance_of=I2["Metaclass"],
+    R3__is_subclass_of=I12["mathematical object"],
 )