<First Order Class> Class of Individual
<Second Order Class>Class of Class of Individual
PowerTyped by Class of Class of Individual