Constructive solid geometry (CSG) is a classical CAD representation; it models a 3D shape as a recursive assembly of solid primitives, e.g., cuboids, cylinders, etc., through Boolean operations
However, experiments in this paper show that QE systems may disagree with deductivereasoning on answers that do not require generalization or relaxation.