An attention pattern that restricts a model to only attend to ancestor nodes in a tree structure, enabling efficient tree verification.