In other words, we want to check whether a TAG derivation tree is a valid TT-MCTAG derivation tree without deciding, for every occurrence of some argument β, which of the h(β)-nodes represents its head.
we propose to reformulate (SN-TTL).