FOF Axioms

Comparing the Artifacts

• Subsets are often better
• Supersets are sometimes better
• Different sets are different bases

Comparing the Proofs

• Measure Jaccard distance between sets
  (larger distance ≡ more different proofs)
• FOF axiom subset
• FOF axiom intersection