class(a1, reptile).

class(a5, mammal).
class(a5, reptile).
class(a5, bird).

class(a6, mammal).
class(a7, mammal).

class(a8, mammal).
class(a9, mammal).

class(a10, mammal).