I'm not even sure if this is the question I have to make...
I'm trying to formalize (using first-order predicate calculus) a list of rules in a grammar of certain natural language.
The first one is the following (rule about usage of question particle in a sentence):
(1) If an interrogative sentence do not have a question pronoun and the last word of the sentence has the letter a, o or y, and the last letter of the last word of the sentence is a short vowel or a consonant, then the sentence needs the question particle yy.
Well, at first I tought it would be easy to write this using the first-order predicate calculus, but right at the beginning i already encountered some problems.
My first try began like this ("If an interrogative sentence do not have a question pronoun"):
$$ \forall x.Sentence(x)\ \land\ Sentence(x) \in InterrogativeSentences \to \lnot\exists y.QuestionPronoun(y) \in Sentence(x). $$
My first problem is that I'm not sure if I can even use set theory symbols in predicate logic (i.e. $\in$). The second problem is that first I define x as a sentence and a element of the set InterrogativeSentences, but riht after I said that y is a QuestionPronoun and it is a element of the sentence x. Well, I can't have an element being an element of another element, right?
I tought that maybe an element could be a subset too, but probably not, since I read a lot about set theory and didn't see anything like this.
But even solving this problem I would have another right after, since I have to be able to see not only the sentence as a set of words (to be able to have a Pronoun as an element of the sentence), but as a set of letters, since i would have to be able to get the letters inside the word to define what question particle to use (as described in rule (1)).
How can those problems be solved? How would you write the (1) using predicate logic? Is it even possible?