(5), (6) は (3), (4) と同じじゃない？具体的な型を書くという意味で。

6:52 AM

ああ、そうだね。完全に同意。 < 従来の(1)と(2)は、それぞれ(5)と(6)になってほしい。