who was charlemagne's wife?
(JOIN (R people.marriage.spouse) (ARGMAX (AND (JOIN people.marriage.type_of_union m.04ztj) (JOIN (R people.person.spouse_s) m.01mhc)) people.marriage.to))