Does anyone know how to translate this?

Thank you

hey!

the logical indicator 'until'

in this ex/ mary goes to the gym until brittany goes to the gym

-B -> M

would this be the correct translation?

[anything that follows until is the nec, modify the remaining of the sentence by negating-- which then becomes the suff condition?

Hi there, would anyone be able provide an explanation in regard to how to identify advanced linear vs hybrid games?

Thank you!