[blazespin]

I don't think the tool is meant to be exhaustive just assisting.

I think the base idea is very inspired, but I'd avoid prescribing a technical solution at the beginning and just propose different approaches. The general goal of giving lawyers a formula for inputting a case with a certain grammar and format and getting a useful output of laws and precedence seems amazingly useful.