G github.com Show HN: Automatically interpret and validate nested natural logic arguments 53 points parhamp 9 years ago 18 comments