Build logical count expressions
Build implication