Find!
l1 [rules/methods] is a propositional logic for deducing/concluding/inferring/reasoning to/about l2 (du'u) with propositions xu2.