For the past few weeks, I've been trying to understand and write code for the Tabulator. My task was to provide a justification trace for the annotated transaction log given out by the AIR reasoner. Here's a screen shot of how it looks like now:
If you want to try this out, install the Firefox Extenstion with this latest change, restart Firefox, and navigate to this file.
By the way, the Tabulator project is open source, so if you'd like to contribute you are more than welcome to do so.