Describir: Existential Second−Order Logic over Strings