This formalism is both elementary and powerful enough to strongly simulate many << grammar formalisms >> , such as rewriting systems , [[ dependency grammars ]] , TAG , HPSG and LFG .
This example is FEATURE-OF.