SMS dit: Relations and predicates