parent(x)
: baby(y)
loves(x,y)
so that we can
express variables as existentially qualified variables and
express the event of love having an agent p and receiver b
for every parent p.
HINT: address issues to do with semantics, inheritance, expressiveness.