Open henrietteharmse opened 7 months ago
Currently MS has a number of unsatisfiable classes that stems from STATO. See https://github.com/ISA-tools/stato/issues/90.
I am opening a ticket in MS for reference in how to resolve the unsatisfiable classes in MS.
Currently MS has a number of unsatisfiable classes that stems from STATO. See https://github.com/ISA-tools/stato/issues/90.
I am opening a ticket in MS for reference in how to resolve the unsatisfiable classes in MS.