="insideExerciseFigRef" href="#family1-figure">family1-figure</a>.
Using a suitable logical reasoning system, it all the sentences you have
written down, and it who are Elizabeth’s grandchildren, Diana’s
brothers-in-law, Zara’s great-grandparents, and Eugenie’s ancestors.<br />


<figure>
  <img src="https://aimacode.github.io/aima-exercises/figures/family1.svg" alt="family1-figure" id="family1-figure" style="width:100%" />
  <figcaption><center><b>A typical family tree. The symbol $\bowtie$ connect