denotations
rule_labels
