Hi Johan:

The following paper is about querying abstract syntax trees:

http://research.microsoft.com/~rfc/astlog/

Two things are noteworthy:

1. Are the matching techniques that are referenced in the paper
   useful for expressing where AC attachments should go?

2. We also query abstract syntax trees in Demeter. How do the
   two compare?

-- Karl