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