使用符号Has、Loves、Dog和Cat代表谓词“has”、“loves”、“is a dog”和“is a cat”，请用谓词逻辑写下列句子：
a.John has a cat.
b.John loves all cats.
c.John loves Anne.
d.Anne loves some dogs.
e.Not everything John loves is a cat.
f.Anne does not like some cats.
g.If John loves a cat,Anne loves it.
h.John loves a cat if and only if Anne loves it.
