bvssvni opened this issue 4 years ago · 0 comments
Sometimes it is useful to have rules which proves ambiguity, for example:
amb :- (false, true). amb :- (true, false).