Natural language control of UAVs using large language models with robust semantic interpretation and logic-guided task planning | Synapse