Quantification and Implication in Semantic Calendar Expressions Represented with Finite-State Transducers