A declarative language bias for levelwise search of first-order regularities -- The more