fo'ai
valsi
fo'ai
type
experimental cmavo
creator
time entered
Tue Oct 25 17:11:57 2016
English
Definition #72015 - Preferred
selma'o
LOhOI
definition
Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the ko'a-ko'u pronoun series. The number of bound variables must be indicated by appending {xi} followed by that number to the word {fo'ai}, unless only one variable (namely {fo'a}) is bound, in which case the {xi} marking is optional.
notes
"lo ka ce'u ce'u ce'u broda (ku)" = "fo'ai xi ci fo'a fo'e fo'i broda (ku'au)". In the rare cases where more than five lambda variables are needed, fo'a xi PA might be used. See also ko'ai, ce'ai.
created by
vote information
2
time
Wed Jul 15 18:25:56 2020
Examples
Definition #68971
selma'o
LOhOI
definition
Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the fo'a-fo'u pronoun series.
notes
lo ka ce'u ce'u ce'u broda (ku) = fo'ai fo'a fo'e fo'i broda (ku'au). In the rare cases where more than five lambda variables are needed, fo'a xi PA might be used. Indicating the number N of lambda variables in forethought can be acheived with fo'ai xi N. See also ko'ai, ce'ai.
created by
vote information
0
time
Tue Oct 25 17:12:52 2016
Examples