An architecture for linking theory in LFG