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



--**-  2.Bsp. n599 ------------------------
We have added some 18th-century imperial facts. The mode line now displays the number of the modified example (2.Bsp) which has not yet been saved. (Note that a typing error crept in.)
**NEXT:Save (& compile & load) what we have done so far with [DO].
[logprog|GUPU|UWN]