Can derive large abstract syntax term base from query.
Can define infered graphs in terms of bound variables.
Eric Prud'hommeaux
13 of 16