av takes two arguments; If variables are typed, the type declaration of av(X, CAT) is: 7If α = av(X, CAT), then α ∈ N X is a node and CAT is a syntactic catogory label of X.
x states the information of the node itself including linguistic expression which x dominates, and the category label of x is CAT.