LogicLens

Try it out! (expect mistakes; this is an early version!)

Test our analysis on text of your own.