We note that inference is particularly helpful with rarely mentioned instances.
inference can lead to errors when the proof tree contains joins on generic terms (e.g., "company") or common extraction errors (e.g., "LLC" as a company name).