If all Borks are Grogs and all Grogs are Snorts, are all Snorts Borks ?

No