関係写像演算子の一覧を更新
無項述語の説明を追加