TQL: A query language to support traceability | Synapse