A Mathematical Theory for Learning Semantic Languages by Abstract Learners