Text this: Formalization of tradeoff rules and other techniques for comprehending complex rule-based models /