A Formal Framework for Reactive Heterogeneous Multirobot Task Allocation in Uncertain Semantic Environments | Synapse