これは推論 (と一緒に控除および誘導) を扱って「しるし」ルールのインスタンスとしておなじみコードからのフォームを参照しそれはそのルールを適用することによって意味を推測しパースで使用される用語です。