Text this: Graph-based rule representation for automated design checking.