selylogji lujvo

x1 is a conclusion inferred by logic x2.

See also logji, ja'o, selni'i.