PREFIX st: <http://www.soctrace.org/ontologies/st.owl#>
SELECT ?thread
WHERE {
  ?slice st:sliceIsRelatedToFunctionality st:NormalFrameDecoding .
	?slice st:sliceHasStartEvent ?event1.
	?slice st:sliceHasEndEvent ?event2.
	?event1 st:eventStartAt   ?sstart .
	?event2 st:eventEndAt   ?send .
	?event st:eventStartAt ?debut .
	?event st:eventEndAt   ?end .
  ?event st:runningThread  ?thread .
  FILTER (?debut >= ?sstart)
  FILTER (?end  <= ?send)
}