A spatio-temporal knowledge representation system may be built for
efficient storing and reasoning with intelligence/spying information
accumulated from disparate sources. Checking consistency and generation
of scenarios, that is the central problem we routinely address,
seems to have a natural application in this application domain.