Open csnyulas opened 5 years ago
The tooltip that appears when hovering over different axioms that are part of an explanation shows "Inferred", which is inaccurate. I am not sure what the is the exact intent of these tooltips, but, these axioms are asserted, not inferred.
The tooltip that appears when hovering over different axioms that are part of an explanation shows "Inferred", which is inaccurate. I am not sure what the is the exact intent of these tooltips, but, these axioms are asserted, not inferred.