Example exc-109
Prev:
exc-108
Next:
exc-110
4
3
3
<math> <apply><geq/><cn>4</cn><cn>3</cn><cn>3</cn></apply> </math>