copilottypes of definitions in logic - Search