empsupdep(X, Y, Z).

empsupdepl(X).

empsupvarl(X).

varsupdepl(X).
