Representation of Legal Knowledge by Compound Predicate Formula