(a)arbitral, arbitrationalrelating to or resulting from arbitration“the arbitral adjustment of the controversy”, “an arbitrational settlement”