Find!
x1=c1 (parser/interpreter) produces formal result x2=c2 from symbolic/formal manipulation of text string x3 according to rules x4