Suppose we have the predicate
I(x,y), which means that x has influenced y.
And we have
C, which is the set of all composers.
If I translate the following sentence:
All composers are influenced by Bach.
to first-order logic I believe I will get:
∀x(C(x) → I(Bach,x))
Say now I need to translate the following sentence and I can re-use all my predicates etc.:
All russian composers are influenced by Bach.
What would be a good way of writing this senctence to first-order logic? Should I define an entire new set
R, being the set of all Russian composers? That doesn't seem efficient, but I can't figure out what else to do.