Kids born overseas on an installation to citizen parents (or even one citizen parent) are given a normal US birth certificate and considered as born on US soil for all other purposes.
But the case at hand does test the accepted definition...I'll be interested to see how it works out (if it comes to that).
That very thing has been discussed on the Lars Larsen show here (KXL 750 AM).
