Supongamos que formula_65 es un "TBox", "C" y "D" conceptos: