English Mathspeak Inference rules. Locale: en, Style: Verbose.

0AXinference rule with conclusion upper X and 1 premise
1AXinference rule with conclusion upper X and 1 premise
2Xinference rule with conclusion upper X and 1 premise
3XNinference rule label upper N with conclusion upper X and 1 premise
4Aaxiom upper A
5axiom
6AXNinference rule label upper N with conclusion upper X and 1 premise
7ABXNinference rule label upper N with conclusion upper X and 2 premises
8ABCXNinference rule label upper N with conclusion upper X and 3 premises
9NAXinference rule label upper N with conclusion upper X and 1 premise
10NABXinference rule label upper N with conclusion upper X and 2 premises
11NABCXinference rule label upper N with conclusion upper X and 3 premises