I am looking to write the present the rules of Aristotelian syllogistic logic in a language that would be unfamiliar to my mostly-American students. So I thought I would do it in an OVS or OSV language. So I would like to have a translation of something like
From All x are y and Some z are x, infer Some z are y
I'd be especially interested to find a language in which the translation of All x are y has y in the sentence before x.
Can anyone here help?