To motivate our approach, we start by considering a simple extension of Schabes and Shieber's LIG framework to FB-TAG, where each LIG rule enforces unifications mimicking those applied in FB-TAG.
let us assume that Type 3 rules  The derived tree (left), the successful standard derivation tree (middle), and the failed dependent derivation tree (right) for all the meerkats.