<Bounded Individual> Individual State
<Class of Bounded Individual>State Class
PowerTyped by State Class