Table 6 Example of theorem annotation.

From: A sequence to formula tree model for solving electrical text problems

Theorem annotation

Problem: What is the resistance value of an electrical appliance with a rated voltage of 220 V and a rated power of 40W?

Theorem formula: electrical_resistance_3 (220,40)

Equation: x = 220*220/40

Answer: x = 1210