<First Order Entity> Abstract Entity
<First Order Class>Class of Abstract Entity
PowerTyped by Class of Abstract Entity