When understanding the modus ponens-like dynamics of the transformer block [(LN-FFN)-RC → SA-RC], the effective FFN-RC predicate group determination state + effective inheritance predicate group ...