<Ordered Entity> First Order Entity
<Ordered Entity>First Order Class
PowerTyped by First Order Class