Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis - View it on GitHub