Văn bản này: Probabilistic verification beyond context-freeness