One obvious and boring way of recording his discoveries would be to simply draw a family tree. Cassie is the grandparent of Lola. The guidelines from problem 3 still apply. All people's fathers are people. You are a person.
Polygons are regions.
This should take about 10 steps. In Problem Set 2, we asked you to supply models and interpretations for sentences of relational logic. For each of the sentences above, it is impossible to produce an interpretation that satisfies that sentence and yet is not a model for that sentence.