An empirical approach to the semantic representation of laws