knowledge and belief -- On-line estimation of matching complexity in first order logic