Moreover, macros/templates can be nested, and can thus be used to model constraints similar to type hierarchies (Dalrymple et al., To Appear).
nPfunc is used to encapsulate the alternative nP functions in German.