Visualize: Figure2 & 3.
Description: "Logic form and logic inference. The generated explanation
 of a Sum operation tree and explanation text."