generated at
転置規則
Exchange
型環境を自由に並び替えて良いという規則

https://drive.google.com/file/d/1OxnETBYjtF7H9bRDtw5pmFpLzLC6lWjK/view
https://en.wikipedia.org/wiki/Structural_rule