Definitions for "Catarina"
Knowledge-based Agent with capabilities to reason, learn and become an expert in Mathematics.