[jacques_chester]

Classical logic doesn't work in a legal context. You need at least to use fuzzy logic to model the domain.