an Entity references as follows:
Note that hasTopping is inverse functional because isToppingOf is functional