Newly retrieved search findings are matched against parametric claims to mark aligned claims as correct, opposing assertions as incorrect, or insert unmentioned facts as new gap claims in the database.