Here's an example of semantic normalization.
eat(subj:Mary, obj:cake)
give(subj:Mary, to: John, obj: book)