This term does not exist (to my knowledge). I create it for convenience to aid in further explanations to refer to a language that is used for modelling pedagogy in a manner that can be reasoned upon to come to decisions around the learning design. That is, the [[Pedagogy modelling language|pedagogy modelling language]] is used to aid in the production of [[Learning design|learning designs]] that can be represented formally by an [[Educational modelling language|educational modelling language]] (such as [[Orchestration graphs|orchestration graphs]]). In my thought about [[The automated derivation of design-related contextual pedagogical theory|the automated derivation of design-related contextual pedagogical theory]], the representation of the derived theory would be in the form of a pedagogy modelling language.