Adam, This looks GREAT! The information is king, and it looks good so far. The presentation can be improved some, I suspect, but that can happen later. I'll try to give some suggestions when I have time. I've got to run now, but I wanted to say:
Thank you so much. This has been a long time coming. I know it's not fun work, but it's really important. You've done a great job! -- John Murph Automated Logic Research Team
