Haller's Concordance: ABIAL