Given below are two statements:
Statement I: “Grandparent is a parent of one’s parent.”
Statement II: First Order Predicate Logic (FOPL) representation of the above statement is ∀g, c grandparent ⇔ ∃ (g, c) ∃p parent (g, p) ∧ parent (p, c)
In the light of the above statements, choose the most appropriate answer from the options given below: