Conclusion

Achieved so far ...

• Effective selection of axioms
• Resource intensive, and benefits obtained
• Not appropriate for all scenarios

Things to do ...

• Infinite interpretations
• Configuration according to problem characteristics
• "Really" large problems