Subsumption over lists of expressions.