ja JA -jav- cmavo

logical connective: tanru-internal afterthought or.

In definition:

This cmavo precedes a predicate (at least binary) and turns it into a conjunction, which syntactically behaves like JA cmavo. The predicate indicates the relationship between the two connected propositions. Terminator: {te'u}.
x1 is the selma'o "JA".

In notes:

x1 is a logical alternation/disjunction, stating that x2 (du'u) and/or x3 (du'u) is/are true.
x1 is a material conditional/'IF' statement (logical statement) saying that x2 (du'u) logically implies x3 (du'u) ("x3 is true if x2 is true; if x2, then x3; x2 being true is sufficient to guarantee the truth of x3").
Copy and paste the overall seltau of immediately preceding sumti at this location.
x1 is the result of applying logical connective/conjunction x2 to the terms of the ordered list x3 in the order given, in system x4
x1 (node in a tree graph) and x2 (node in the same tree graph) have an essentially unique most recent (graph-nearest) common ancestor node A such that x3 [nonnegative integer; li] is the minimum element of the set consisting only of d(A, x1) and of d(A, x2), and such that x4 [integer; li] is d(A, x1) - d(A, x2), where d is the graph geodesic distance (defined to be infinite if nodes are not connected in the correct direction).
jek zei uanta
x1 is a part of Lojban text representing rule 'jek' according to the first edition of the book 'The Complete Lojban Language'.