import PackageCalculus

#print axioms PackageCalculus.version_formula_correct

#print axioms PackageCalculus.Conflict.conflict_soundness
#print axioms PackageCalculus.Conflict.conflict_completeness

#print axioms PackageCalculus.Concurrent.concurrent_soundness
#print axioms PackageCalculus.Concurrent.concurrent_completeness

#print axioms PackageCalculus.PeerDep.peer_soundness
#print axioms PackageCalculus.PeerDep.peer_completeness

#print axioms PackageCalculus.Visibility.visibility_soundness
#print axioms PackageCalculus.Visibility.visibility_completeness

#print axioms PackageCalculus.Feature.feature_soundness
#print axioms PackageCalculus.Feature.feature_completeness

#print axioms PackageCalculus.PkgFormula.package_formula_soundness
#print axioms PackageCalculus.PkgFormula.package_formula_completeness

#print axioms PackageCalculus.VarFormula.variable_formula_soundness
#print axioms PackageCalculus.VarFormula.variable_formula_completeness

#print axioms PackageCalculus.Virtual.virtual_soundness
#print axioms PackageCalculus.Virtual.virtual_completeness

#print axioms PackageCalculus.Composition.concurrent_feature_soundness
#print axioms PackageCalculus.Composition.concurrent_feature_completeness

#print axioms PackageCalculus.Complexity.satRed_soundness
#print axioms PackageCalculus.Complexity.satRed_completeness

#print axioms PackageCalculus.Complexity.satEncoding_soundness
#print axioms PackageCalculus.Complexity.satEncoding_completeness