The Source Field

File Source

• file(file_name, formula_name)

Inference Source

• inference(rule_name, useful_info, [parent_list])
• The useful_info
  • SZS ontology value
• The parent_list
  • Parent annotated formula names
  • inference records
  • theory records