On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation