definitions.ql