On Saturday, September 27, 2014 3:59:15 PM UTC-4, Martin Bays wrote:
Yes. Here's a simpler example:
ro da poi verba cu prami lo mamta be da
FA x1:(verba(_)). mamta(f0(x1),x1)
FA x1:(verba(_)). prami(x1,f0(x1))
ro da poi ke'a verba ku'o zo'u li ma'o fyno mo'e da lo'o mamta da
.i ro da poi ke'a verba ku'o zo'u da prami li ma'o fyno mo'e da lo'o
Here, we interpret {lo mamta be da} as a function from children to their
mothers; the first proposition expresses this, and the second is then
the main statement.
Sorry if I am being daft, but what is `f0`?