... unification-based parser for relational grammars developed within the stratified feature grammar (SFG) frame- work, which generalizes Kasper-Rounds logic to handle relational grammar analyses. We ... tor, &, unique to SFG. Formulas involving ~ are called e~tension formulas and they have a more complicated semantics. For example, Dative has the following informal interpretation: Two ... 2. For c = 1, ,k, for each Graph(hi) of Wc, add [ni, c - 1, c] to Se. B. Completions: For c = 1, , k, do repeatedly until no more states can be added to Se: 1. Leftward Completion: For...