Module CheckIt {
      Class Animal {
      }
      Class Dog as Animal {
      }
      Class Cat as Animal{
      }
      Class Labrador As Dog {
      }
      Class Collie As Dog{
      }
      \\ a is a pointer to a group made from class Labrador
      a->Labrador()
      Print a is type Animal = True
      Print a is type Dog = True
      Print a is type Labrador = True
}
CheckIt