On an experimental evaluation of claim analysis