# 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
drisu
x1 is medicine used to treat illness/disease x2 ({bilma}/ka/state) via mechanism of action x3 (event) at dosage x4 (ka))
bu'ai
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
cu'au
universal 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 / unary quantifier constructor. {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 binary 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; ∄
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
ze'ai'au
unary mekso operator: reverse ordered list/tuple X1.
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)]
premuje
x1 is a person-universe, considered as person x2 and as universe x3
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.