an Entity references as follows:
This is a defined class: its subclasses will not be asserted, but filled by inference.