Excuse the poor wording if the question wasn't so clear or misleading, tried to word it to the best of my abilities.If it's worded incorrectly please don't hesitate to tell me the correct question or edit it yourself if you can. Here's the purpose of my question:
I'm considering both the father and mother of a person in the universe I am building. Let's name this person John. I have it set up so that in the end it looks like the following:
∃x{~P(f) v [P(x) ^ ~R(x)] v (R(x) ^ ~ A(x)] v ~R(m)} v {A(m) v A(f)}
where:
f :- father of John
m :- mother of John
How exactly would I label anything with an x if, once again, I'm considering both the father and mother for that same argument? If my question is unclear please let me know so that I can explain further. Also, not exactly sure how to tag the question with the proper tags, any help with that would be great.