71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graberrepository = Repository.find_by_path('default')
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber%w(v__T strict_partial_order).each do |ontology_name|
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber ontology = repository.ontologies.find_by_name(ontology_name)
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber Proof.new({ontology_id: ontology.id,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber proof: {axiom_selection_method: 'manual_axiom_selection'}},
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber prove_asynchronously: false).save!
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graberend
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graberontology = repository.ontologies.find_by_name('v__T')
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Grabertheorem = ontology.theorems.find_by_name('antisymmetric')
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane GraberProof.new({ontology_id: ontology.id,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber theorem_id: theorem.id,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber proof: {axiom_selection_method: 'manual_axiom_selection'}},
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber prove_asynchronously: false).save!
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graberontology = repository.ontologies.find_by_name('SubclassToleranceOne')
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Grabertheorem = ontology.theorems.find_by_name('beer < liquid')
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane GraberProof.new({ontology_id: ontology.id,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber theorem_id: theorem.id,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber proof: {axiom_selection_method: 'sine_axiom_selection',
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber sine_axiom_selection: {commonness_threshold: 1,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber depth_limit: -1,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber tolerance: 1}}},
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber prove_asynchronously: false).save!
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graberontology = repository.ontologies.find_by_name('SubclassToleranceOnePointFive')
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Grabertheorem = ontology.theorems.find_by_name('beer < liquid')
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane GraberProof.new({ontology_id: ontology.id,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber theorem_id: theorem.id,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber proof: {axiom_selection_method: 'sine_axiom_selection',
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber sine_axiom_selection: {commonness_threshold: 1,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber depth_limit: -1,
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber tolerance: 1}}},
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber prove_asynchronously: false).save!
71d3a6590fe665421d7a0026d699b0654ddfc7f6Stéphane Graber