grammar formalism introduced by Groenink in 1995 to characterize extraposition phenomena such as topicalization and cross-serial dependencies; extends CFGs by adding pattern-matched function-like rewrite semantics, variable binding and slash deletion