The little language that supports logical proposition evaluation