Forest languages defined by counting maximal paths.