Closed Gauntlet173 closed 1 year ago
If you use the Beard Example, create a person for whom it is unknown whether their beard is 44mm in length, and otherwise qualifies, the reasoner crashes.
simplify_term() at 1372 is presuming that the content of the term will be a string
resolved in issue_543 branch
If you use the Beard Example, create a person for whom it is unknown whether their beard is 44mm in length, and otherwise qualifies, the reasoner crashes.