Hmmm...my daughter definitely is on AA. The professor is on BA.

Both are leaving from Florida but the other student is coming from home. Perhaps the United portion is domestic only. They'd better find out her LHR connection. Thanks for the heads up. (I was searching all terminals on the LHR site, but it was unhelpful compared the brilliant folks here.)