Semantic Processing for Finite Domains