A general theory of tempo-logical connectives in Mental Image Description Language Lmd