pa zei brinefa zei-lujvo

x1 is a part of Lojban text representing rule 'bridi-tail-1' according to the first edition of the book 'The Complete Lojban Language'.

Inner structure of the rule: bridi-tail-2 (gihek # bridi-tail-2 tail-terms)*. For the description of the syntax see jarnezi.


On affix form:

zekri
x1 (event/state) is a punishable crime/[taboo/sin] to people/culture/judges/jury x2.

In definition:

coi'e
x1 is PA hours in duration by standard x2.
dau'u
variable identifier article: refer to the referents of the variable having the following predicate as its name; such a variable may be implicitly bound by {PA broda} or {LE broda} phrases; if no such variable has been previously bound, the referents are left to the context to determine; the referents are not claimed to actually satisfy the predicate after which the variable is named.
doi'e
x1 is PA days in duration by standard x2.
jei'o
x1 is PA weeks in duration by standard x2.
ku'i'a (exp!)
PA: blank/empty digit
lei'o
x1 is PA months in duration by standard x2.
moi'e
x1 is PA minutes in duration by standard x2.
moi'o
x1 is the PA-th date/time of unit x2 (si'o) counting from x3 (default: now) by calendar x4
mu'ei
Converts PA into tense; in [number (usually nonspecific)] possible worlds/alternate histories where [sumti (du'u)] is true
nei'o
x1 is PA years in duration by standard x2.
noi'a'u
PA nonrestrictive/incidental relative clause; attaches to a PA number/numeral/digit with the ke'a referring to that PA number/numeral/digit.
poi'a'u
PA restrictive relative clause; attaches to a PA number/numeral/digit with the ke'a referring to that PA number/numeral/digit.
sai'ei
turns PA into CAI; intensity attitude modifier expressed by a mekso.
soi'e
x1 is PA seconds in duration by standard x2.
xo'e'o'ei
At-most-unary mekso operator: like {xo'ei} but for selma'o XOhEhOhE, rather than just PA
cmavrpa
x1 is the selma'o "PA".
jinmrproktini
x1 is a quantity of/contains/is made of protactinium [Pa]

In notes:

xe'enai (comp!)
digit/number: specific referent; modifies quantifier to indicate that there are particular referents that fulfill the predicate
detke'u
The date [day,week,month,year] x1=d1=k1 is recurrence/repetition of the date [day,week,month,year] of the first event x2=d2, for the x3=k3'rd time, in system x3.
lerpavmoivla
l1 (quoted letteral) is the first letter of the word v1.
mucyveldekpu
d4 is d2 (default 1) dessertspoon(s)/dessertspoonful(s)/cochleare medium (dstspn./cochl. med.) [volume-unit], standard d3=m1 (default 1 dessertspoon=10 mL),d1 tablespoon(s),d5 teaspoon(s), d6 one ml measuring spoon(s).
mucyxeldekpu
d5 is d2 (default 1) teaspoon(s)/teaspoonful(s)/cochleare minus (t., ts., tsp. or tspn./cochl. min.)[volume-unit], standard d3=m1 (default 1 teaspoon=5 mL),d4 dessertspoon(s),d1 tablespoon(s), d6 one ml measuring spoon(s).
na'uvla
x1 is the word with stands for the number x2 in language x3
pavbudjo
b1 is the first Buddha, Siddhartha Gautama.
pavmoidei
x1 is x2=d2 (default: 1) first days of a set of days (week, month, year) x3=m2 ordered by rule x4=m3 and being a day by standard x5=d3
pavmoija'a
j1 has the rank of Lieutenant/1st Lieutenant (equivalent of NATO OF-1) in military unit /organization j2.
pavmudblo
x1 is a dugout for carrying x2
pavnonmoija'a
j1 has the rank of Field Marshall/General of the Army//Fleet Admiral/Marshall of the Air Force (equivalent of NATO OF-10) in military unit j2.
pavroi
x1 happens once in interval x2.
pavykamre
x1 is one [1; 100] of x2 in dimension/aspect x3 [default is units]
pavyplitci
x1 a single-use tool/implement/implement for doing x2; x1 is designed to be discarded after the first use.
pavyxilma'e
m1 is a unicycle/one-wheeled vehicle carrying m2 in/on surface/medium m3, propelled by m4.
porna'ofrinu
f1=c1 [value] is a/the median/quartile/decile/percentile/fraction-type of median with numerator f2, denominator f3 in property/amount c2 (ka/ni) among p1 (s) (ordered set) by standard c4.
rilsletei
x1 is tempo of rhythmic movement x2 with the unit x3; x1 is a time interval and corresponds to the unit x3 of a form of rhythm of x2.
risnyrilti
x1 is the heart rate / heartbeat of x2 with the unit (default 1) x3
tabypavykijno
x1 is a quantity of carbon monoxide (CO)
temjudri
x1 is a point on time axis, of event/state x2, in system x3.
vendu'a
v1=x1 sells v2=x2 to buyer v3=x3 and includes d2=x4 for a discounted price of (default free) v4=x5
zilmipri
x1 is secret/hidden from x2 by method x3.
nulpa
x1 is 1 [1×100] of x2 in dimension/aspect x3 (default is units).
bai'ei
unary mathematical operator: successor/augment/increment (by one), succ(a) = a++ = a+1
bi'oi'au (exp!)
digit/number: interval/range indicator for significant digits (determined by lesser endpoint).
ca'oi
binary operator: complex number from argument and phase, (r, \phi) \mapsto r ei \phi
ce'ei'oi
BIhI argument modifier: indicates dimensionality/length of tuple
cei'a
x1 is the year / era of years indicated by PA (digit string) in calendar system x2
de'ei
on (n)-th day from a given point (by default from today)
fei'u
Prefix division by following unit selbri
fo'ai (exp!)
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.
ja'oi (exp!)
permutation cycle writer notation start
ju'ai
Default number radix modifier: changes the value of the default radix assumed for any numeral lacking an explicit radix within the following text, until another {ju'ai} appears.
kau'ai
Microdigit-spanning endianness binary-toggle.
kau'au
Macrodigit-spanning endianness binary-toggle.
ke'u'i
accepts number (n) after: repeat last sumti up to n times
ko'ai (exp!)
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.
li'ei
arbitrary character string or irregular number
lo'au
presuppositional definite article: the …; the thing(s) which …
mai'o
turns number into pro-sumti: the abstraction described by the utterance denoted by that number and {mai}
mi'i'au (exp!)
digit/number: interval/range indicator for significant digits (determined by midpoint).
mu'au'oi
Discursive: resuming/continuing example - start new example
noi'au
number/interpreted mathematical object non-restrictive clause
pau'oi
unary mathematical operator: predecessor/diminish/decrement (by one), \operatornamepred(a) = a-- = a-1
pi'au'e
mekso ternary operator: extract digit from number; X2nd macrodigit/term of number/tuple X1 when X1 is expressed in base/basis X3.
poi'au
number/interpreted mathematical object restrictive clause
se'u'o
selbri conversion question
su'ei
shows that the first two places have a reciprocal relation
te'i
at a point on time axis
ve'oi
Close all open mathematical brackets.
vu'ai (exp!)
base-dependent digit: the maximum possible single-digit number expressible in the relevant number base.
xau'e
symbol string to number/variable
xau'o
text to number/variable
xau'o'o
mekso convention cancellation
xe'e (exp!)
digit/number: any/non-specific referent; modifies quantifier to indicate that it is not important what the specific members of the referential set are
xi'e
scalar subscript
xo'au (exp!)
pro-numeral: the most-recently mentioned full/complete numerical or mathematical string/expression.
xo'ei
unary mekso operator: produces a string of n consecutive "xo'e"'s, treated as digits (concatenated into a single string of digits)
xo'e'o'e (exp!)
elliptical/unspecified/vague single-symbol (general)
endi
x1 (digit string/byte, storage system, convention) has endianness x2 ("ce'o" sequence of numbers (li); description (ka?)); x1 is x2-endian.
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
graumrei
x1 is x2 (li; default: 1) dimensionless units on scale/by standard x3.
ilmismu
x1 is an ismu of x2, having the same meaning, but with all places except the x3-th (li/set) zi'o-deleted.
jednpa
x1 (event/state) is on Monday or the first day of a week x2 in system x3.
lerfusu
x1 is a part of Lojban text representing rule 'lerfu-string' according to the first edition of the book 'The Complete Lojban Language'.
masnpa
x1 (event/state) is in the first month/January of a year x2 in system x3.
namsusu
x1 is a part of Lojban text representing rule 'number' according to the first edition of the book 'The Complete Lojban Language'.
o'evla
x1 is a generic/elliptical-referent/unspecified-referent word of type x2 (ka/selma'o) in language x3.
palkane
x1 is a quantity of methane
pavjima
x1 is a unicorn of type/mythology x2
palkan
methane (CH4)
ka'o zei namcu
x1 is a complex number (understood as such).