# Error! LUB-types cannot be nested:
ex:Types [ LUB<LUB<owl:Class>> ?a ] :: BASE .