kind_von(karl_VI, leopold_I).
kind_von(maria_theresia, karl_VI).
kind_von(joseph_II, maria_theresia).



-----  2.Bsp. n599 ------------------------
The error messages vanished because we corrected the program.
**NEXT:Insert further facts.
[logprog|GUPU|UWN]