Added Opinion LogicExtension