I will be happy to answer any questions about this product. It is open-source and a free version available to install is available on https://github.com/noduslabs/infranodus otherwise you can try it for free for 14 days or contact me for a coupon if you don't want to bother providing the credit card. Would like your feedback!
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.