Symbolic_artificial_intelligence loading ...