If you were to diagram this as a rule in an LG ... , I wonder if using a ... arrow, you could diagram the rule you cited like this: ... a single arrow rule, thus allowing the rule to "fall away ... translates back to the actual rule: If before T, K must be ...