Find!
x1 (property of x3) is the grammar of language x2 for construct x3 that can be optionally added changing the meaning of the initial construct without it
See also fletola, gerna