Find!
x1 (property of x3) is the grammar of language x2 for elidible construct x3 that is assumed to fill its place even if elided
See also gretera, gerna