Yeah, I agree! Plus it does explain what the Pragmatic Sanction is, which the later summary assumes you know. It just confused me because it wasn't, strictly speaking, "a hilarious summary of the War of the Austrian Succession." I think your parenthetical idea works well.