Computational Law
Law
without
Lawyers
 

Exercise 2.4 - Kinship


A person x is a sibling of a person y if and only if x is a brother or a sister of y. Given the parent facts shown in the window on the left, write out the corresponding sibling facts in the window on the right.