Agreed, but we will be diving into further classification, won't we?
Imagine.
Elephant: = (Elephantidae Elephas || Elephantidae Loxodonta || Elephantidae Mammuthus)
But, we didn't specify what type of elephant?
Imagine, we have the Asian Elephant:
Then, we know the fact Asian Elephant: = (Elephantidae Elephas)
Whereas African Elephant: = (Elephantidae Loxodonta)
and the genera Extinct: = (Elephantidae Mammuthus).
With the above script, we might not be 100% correct, but at least we are trying for 100. Taxobox generation will be quite easy after that.
Cheers, Ashwin