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