Category:Ladin terms with redundant head parameter