According to the example in the readme, it's specially for text law that produce codes… So it should be a road to some literal programming or implementation pro

According to the example in the readme, it's specially for text law that produce codes… So it should be a road to some literal programming or implementation proven. Example of text law that should/may become code somewhere: the senate vote to give pension to veterans that meet some criteria… But there already exist less known rules for some cases and they may be incompatible. I think that coupled with some kind of prolog, it may help detecting inconsistencies early.