Antlr4的语法文件可以使用语法限制（semantic predicate）来实现需要满足的条件。对于限制XML标签具有相同的值，可以在语法文件中添加语法限制，如下所示：

grammar XML;

@parser::members { HashSet seenTags = new HashSet(); }

document : tags EOF;

tags : tag+;

tag : '<' name=ID attributes? '>' content? '<' '/' name '>' {checkTag($name);}

attributes : attribute+; attribute : ID '=' STRING;

content : (text | tags)*;

text : TEXT;

checkTag[String name] : { seenTags.add(name); seenTags.size() == 1; };

ID : [a-zA-Z]+; STRING : '"' .*? '"'; TEXT : ~( '<' | '>' | '"' | ''' | '\')+;

在这个示例中，我们使用一个名为“checkTag”的方法来检查XML标签是否具有相同的值。该方法调用了一个HashSet来记录被处理的标签，并检查当前标签的名称是否已经添加到HashSet中。如果HashSet中仅包含一个项，则可以判断标签具有相同的值。