Seems like a good collection of various logical constructs. I wonder if the authors have any plans to program it into something that could identify or use these same patterns in text.