atomic-property-synthesis-rules.m 17.4 KB