The cargo book manifest format section does not contain any example of how to use license expressions (using AND or OR to combine multiple licenses). I've read it, and while I can imagine what that means, an example would help a long way.