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.