<div dir="ltr">Hello,<br><br>I am working with Aleph and I am using m-estimate
evaluation function (set to auto_m). I need to know the m-estimate
value of each rule of the final theory. In the final theory, these
values do not appear. How can I get them? I was performing sat() and
reduce to find, but it takes too much time to find the rules that are
in the final theory.<br>
<br>Thanks in advance.<br clear="all">Fabiana<br><br><br>University of São Paulo, Brazil</div>