kind_von(karl_VI, leopold_I).
kind_von(maria_theresia, karl_VI).
kind_von(joseph_II, maria_theresia).
kind_von(joseph_II, franz_I).
kind_von(leopold_II, maria_theresia).
kind-von(marie_antoinette, maria_theresia).
--**-  2.Bsp. n599 ------------------------

**NEXT:Press [DO].
[logprog|GUPU|UWN]