4 We will also make the restriction that indices are linear and non-deleting, indicating that each non-terminal index present in any of the strings will appear exactly once in all of the strings.
mSCFGs can also be thought of as a subset of the "generalized multi-text grammars" of melamed et al.