semantic interpretation of True guard

in synchronous product TS x BA