Symbolic description and visual querying of image sequences using spatio-temporal logic | Synapse