[1] 連結型宣言で暗示連結指定を使うと、 その連結型は暗示連結であることを表します。

• 暗示連結指定 := 原始文書型名 1*ps rni IMPLIED ;; (157)

仕様書: JIS X 4151‐1992 11.1.2 暗黙連結指定

[2] 原始文書型名は、基本文書型の名前または連結処理連鎖の最後の結果文書型の名前でなければなりません。

結果文書型名の部分には鍵語 IMPLIED を指定しますが、実際の結果文書型名は応用が補完します (暗示ですから)。