biglogji lujvo

l1 [rules/methods] is a deontic logic for deducing/concluding/inferring/reasoning to/about l2 (du'u).

In notes:

nusna
x1 induces x2 about x3 from specific facts x4