# ro PA4 -rol- cmavo

digit/number: each, all.

## In definition:

fa'ai'ai
mekso k-ary operator, for natural k and 1 < k < 5: ordered input (f, g, S, m) where f and g are functions, S is a set of positive integers or "ro" (="all"), and m is 0 or 1 (as a toggle); output is a function equivalent to the function f as applied to an input ordered tuple with g applied to the entries/terms with indices in S (or to all entries/terms if S="ro") if m=0, or g left-composed with the same if m=1.
su'o'o
digit/number: strictly greater (more) than 0 but strictly less than all (jbo.: "ro").
esme
x1 (text) is written in a dialect where {su'o}, {ro} quantifiers are treated as {su'oi}, {ro'oi} respectively

## In notes:

pisu'osoi'ai
digit/number: at least almost-all of; at least almost-certain; 100%.
su'ero
digit/number: any number
su'osoi'ai
digit/number: at least almost-all/at least almost-every/at least almost-everywhere; the complementary set is null and may even be empty.
leryrolmoivla
l1 (quoted letteral) is the last letter of the word v1.
nalvaimenre
x1 is any referent of x2 ; x2 has a set of referents, but the difference between the members of the set is not important
roldepre'e
x1 is local train that stops every station of cars/units x2 (mass) for rails/system/railroad x3, propelled by x4.
rolju'o
x1=d1 knows everything about x2=d3 by epistemology x3=d4; x1=d1 is omniscient about matter(s) x2=d3.
rolrafcre
x1 knows all the rafsi/morphemes of language x2
tifmu'eza'i
z1 is real/really exists in this universe for z2 under metaphysics z3.
troroltruci'e
c1 is a totalitarian system in j2 with power exercised by t1=t1
bu'ai
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
cu'au
universial famyma'o: terminates the most recently opened construct or clause.
dau'e
Numeral: Some but not all.
dau'o
Quantifier modifier: endowment of existential import - repeal of existential import/abstention from claiming existence - assertion of non-existence
kai'i
Property relativizing determiner. {kai'i} introduces a predicate whose first argument slot becomes filled by the property made by taking the bridi in which this {kai'i} appears and putting {ce'u} into the argument slot in which this {kai'i} argument was located. Put formally, "kai'i brodi cu brodu" = "lo ka ce'u brodu cu brodi". Additionally, a {kai'i} term has a rightward logical scope, like quantifiers and adverbials.
kau'u
Predicate to variable-binding quantifier. The first slot of the predicate must be a property.
na'ei
Contradictory negation of a predicate
no'ai
digit/number: absolute zero; nothing; there does not exist; ∄
pau'ei
mekso operator: power set - produces the set of all subsets of set A that are of (any) size (that is) b [a nonnegative integer or transfinite/infinite number]
rai'i
mekso (2 or 3)-ary operator: maximum/minimum/extreme element; ordered list of extreme elements of the set underlying ordered set/structure X1 in direction X2 of list length X3 (default: 1)
ro'oi
universal plural quantifier. “All.”
sei'a
converts singular quantifier into plural quantifier
soi'ai
almost all/almost every/almost everywhere (technical sense): there is a non-universal conull subset (the complementary (sub)set of which is non-empty but of measure 0, where complement is taken with respect/relative to the universal set) of such things that are satisfactory.
ve'oi
Close all open mathematical brackets.
xau'o'o
mekso convention cancellation
xe'e
digit/number: any/non-specific referent; modifies quantifier to indicate that it is not important what the specific members of the referential set are
funtiio
x1 (plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x3 when given input x2; x1(x2) = x3
jednpa
x1 (event/state) is on Monday or the first day of a week x2 in system x3.
masnpa
x1 (event/state) is in the first month/January of a year x2 in system x3.
namcixu
For mo'e x4 x in x1 there exist mo'e x5 y in x2 such that x me'au x3 y; for mo'e x6 y in x2 there exist mo'e x7 x in x1 such that x me'au x3 y.
omni
x1 has relation x2 (binary ka) with everything [that has property x3 (ka)]
tcekitaujei
x1 is the 'ce ki tau jei' dialect of Lojban, used by x2 to communicate x3 (si'o/du'u)
torxesu
x1 is a torus of genus x2 (li; nonnegative integer), having x3 (li; nonnegative integer) distinct cusps, and with other properties/characteristics x4, by standard/in sense x5; x1 is an x2-fold torus.