1 in notes

smudra lujvo

x₁=d₁=s₁ is semantically correct in situation/context x₂=d₃, having meaning x₃=s₁ according to interpreter x₄=s₃=d₄.

Cf. smuni, drani.

• jbovlaste

In notes:

erse

x₁ (proposition) is asserted once it contains within the given context no errors otherwise x₂ (proposition) is asserted