Double Barbed Hierodule lists