Definition:
(defconst *atc-object-designator-rules* '(objdesign-of-var-when-static not-nil-when-objdesignp read-object-of-objdesign-member objdesignp-of-objdesign-of-var-when-valuep-of-read-var read-object-of-objdesign-of-var-to-read-var objdesign-of-var-when-valuep-of-read-var))