Skip to content

Remove logical axioms from COB import related to RO properties#798

Merged
anitacaron merged 2 commits intomasterfrom anitacaron/issue797Apr 22, 2024