If the rules of interpretation (one might even say that this is the definition of 'context' in this sense) can be strictly defined (formalized), e.g. what you w

If the rules of interpretation (one might even say that this is the definition of 'context' in this sense) can be strictly defined (formalized), e.g. what you wrote: > for some states, you only have to register is you maintain an office presence; for some states you have to register only if you spend a significant amount of time in the state, [...] then this is doable, in principle. But the overall project and required workload would indeed be vast.. I wonder how much one might have to work to have some kind of a working PoC.. NLTK and their computational linguistics book / python tutorial might be a good start. e.g. http://nltk.org/book/ch10.html http://nltk.org/book/ch10.html - we can do things like dt = nltk.DiscourseTester(['A student dances', 'Every student is a person']) dt.add_sentence('No person dances', consistchk=True) - throws error 'Inconsistent discourse ..[list of predicates etc]' dt.retract_sentence('No person dances', verbose=True) - outputs Current sentences are s0: A student dances s1: Every student is a person But scaling this / making it work for something more than these simple linguistic tasks.. quite an undertaking! In any case, the field in question (and the task at hand) is very interesting, and I hope that lots of interesting stuff will be done in comp.linguistics / nlp in the near future.