This code works with parse_asp_rules.py to
generate explanations