*****************************************************
1) Can more than one person be speaking at one time?
*****************************************************

sml> val f1a = Ef (And(Pred "Pspeak", Pred "TgetFloor"));
sml> mCheckExt m f1a 0;
val it = false : bool

sml> val f1b = And(Ag(Imply(Pred "Pspeak", Not(Pred "TgetFloor"))), Ag (Imply(Pred "TgetFloor", Not(Pred "Pspeak"))));
sml> mCheckExt m f1b 0;
val it = true : bool


**************************************************************
2) If the meeting is ever unmoderated, then someone is on hold
**************************************************************

sml> val f2 = Ag(Imply(Not(Pred "Pmoderate"),Pred "Phold"));
sml> mCheckExt m f2 0;
val it = true : bool

**************************************************************
3) Is it possible for a speaker to get "stuck" on hold?
**************************************************************

sml> val f3 = Ag(Imply(Pred "Phold",Ax(Af(Not(Pred "Phold")))));
sml> mCheckExt m f3 0;
val it = false : bool

**************************************************************
4) Is it possible for someone to get "stuck" on wait?
**************************************************************

sml>val f4 = Ag(Imply(Pred "Pwait", Ax(Af(Not(Pred "Pwait")))));
sml> mCheckExt m f4 0;
val it = false : bool

**************************************************************
5) If the meeting is not moderated, there is a chance that it
will never be moderated
**************************************************************

sml> val f5 = Or(Ag(Pred "Pmoderate"),Au(Not(Pred "Pmoderate"),Pred "Pmoderate"));
sml> mCheckExt m f5 0;
val it = false : bool


***************************************************************
6) Is it possible to grab the floor in an unmoderated scenario?
***************************************************************

sml> val f6 = Ef(And(Not(Pred "Pmoderate"),Pred "TgrabFloor"));
sml> mCheckExt m f6 0;
val it = false : bool