Find!
x1 [quantifier/expression] is a mathematical expression interpreted under rules/convention x2.
See also cmaci, dilcu, fancu, frinu, jalge, namcu, parbi, pilji.