renaming entities -> definitions, agents -> entities