Due to the simplicity of the coarse-grained model, it is generally not possible to locate a program error simply by observing the matched tree. For this reason, AVE provides a spreadsheet-based query facility. The match tree visualization is treated as a spreadsheet interface, with each node containing a complex data structure. The elements of the complex data structure are called attributes of the abstract event. The user can perform queries on these attributes to gain more information than is available simply from the visualization.
Again, an example can be found in the tutorial.