Mit ![[DO]](anw.gif)
Beispiel sichern, überprüfen und u.U. laden# 10 Personen), die familiäre Beziehungen beschreibt: :- kind-von(anna, ulrich). :/- kind_von(Person, Person). % Niemand soll sein eigenes Kind sein. -:** 3.Bsp n599 ------------------------Wir haben zwei Zusicherungen eingefügt. Die zweite Zusicherung besagt, dass es niemanden geben soll, der sein eigenes Kind ist. Das dritte Beispiel ist nun modifiziert (
-:** in der Statuszeile). Wir sichern es einmal.
Mit Beispiel sichern, überprüfen und u.U. laden