startOfSequence()
atomicValue(someString)
atomicValue(a)
atomicValue(b)
endOfSequence()