fixed example and exercise queries

Author: LucaKro

examples/semantic_annotations.md

@@ -167,7 +167,8 @@ from semantic_digital_twin.reasoning.predicates import ContainsType
 from krrood.entity_query_language.entity import a
 
 with symbolic_mode():
-    fruit_box_query = a(fb := FruitBox(), ContainsType(fb.fruits, Apple))
+    fb = let(FruitBox, domain=world.semantic_annotations)
+    fruit_box_query = a(fb, ContainsType(fb.fruits, Apple))
 
 query_result = fruit_box_query.evaluate()
 print(list(query_result)[0] == fruit_box_with_apples)

self_assessment/exercises/5_semantic_annotations.md

@@ -223,12 +223,12 @@ Your goals:
 ```{code-cell} ipython3
 :tags: [example-solution]
 with symbolic_mode():
+    bottle = let(Bottle, domain=world.semantic_annotations)
     bottles_with_cap_query = an(
         entity(
-            Bottle(cap=an(Cap())
+            bottle, bottle.cap != None
         )
     )
-)
 query_result = list(bottles_with_cap_query.evaluate())
 print(query_result)
 ```