Hello! I looked into the definition of the Event type, and noticed that it contains a type Context which is a list of tuples of tuples of integers. I couldn't really find any description what it is needed for, so I looked at some examples:
queryArc (("1 1 1 1"::Pattern Double)) (Arc 0 1)
returns: [[((1,1),(3,1))](0>¼)|1.0,[((3,1),(5,1))](¼>½)|1.0,[((5,1),(7,1))](½>¾)|1.0,[((7,1),(8,1))](¾>1)|1.0]
but queryArc (("1(4,4)"::Pattern Double)) (Arc 0 1)
returns: [[((1,1),(2,1)),((3,1),(4,1)),((5,1),(6,1))](0>¼)|1.0,[((1,1),(2,1)),((3,1),(4,1)),((5,1),(6,1))](¼>½)|1.0,[((1,1),(2,1)),((3,1),(4,1)),((5,1),(6,1))](½>¾)|1.0,[((1,1),(2,1)),((3,1),(4,1)),((5,1),(6,1))](¾>1)|1.0]
I hope someone can explain? All the best!