# ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverFB * TC.CraneCNTR.HorizontalMove=GoLeft))) ]
# ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverDB * TC.CraneCNTR.HorizontalMove=GoRight))) ]
# ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=Middle * !(TC.Crane.VerticalPos=UpMost)))) ]
# ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverDB * TC.Crane.VerticalPos=FBHight))) ]
# ABS: formula failed --- NOT[ AG(!((TC.Crane.VerticalPos=UpMost * TC.CraneCNTR.VerticalMove=GoUp))) ]
# ABS: formula failed --- NOT[ AG(!((TC.Crane.VerticalPos=FBHight * TC.CraneCNTR.VerticalMove=GoDown))) ]
# ABS: formula failed --- NOT[ AG((!(TC.Crane.HorizontalMove=Stop) -> TC.CraneCNTR.VerticalPos=UpMost)) ]
# ABS: formula passed --- NOT[ AG(!(((PR.Pr.PressPosition=Mid * AR.Arm.RALoadArm=Extended) * AR.Arm.RAAnglePos=OverLoadedPress))) ]
# ABS: formula failed --- NOT[ AG(!(((PR.Pr.PressPosition=Top * AR.Arm.RAUnLoadArm=Extended) * AR.Arm.RAAnglePos=OverUnLoadedPress))) ]
# ABS: formula failed --- NOT[ AG((DB.DBeltCNTR.PieceOutDB=Y -> AF(TC.CraneCNTR.PieceGrabbedFromDB=Y))) ]
# MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverFB * TC.CraneCNTR.HorizontalMove=GoLeft)))
# MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverDB * TC.CraneCNTR.HorizontalMove=GoRight)))
# MC: formula passed --- AG(!((TC.Crane.HorizontalPos=Middle * !(TC.Crane.VerticalPos=UpMost))))
# MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverDB * TC.Crane.VerticalPos=FBHight)))
# MC: formula passed --- AG(!((TC.Crane.VerticalPos=UpMost * TC.CraneCNTR.VerticalMove=GoUp)))
# MC: formula passed --- AG(!((TC.Crane.VerticalPos=FBHight * TC.CraneCNTR.VerticalMove=GoDown)))
# MC: formula passed --- AG((!(TC.Crane.HorizontalMove=Stop) -> TC.CraneCNTR.VerticalPos=UpMost))
# MC: formula failed --- AG(!(((PR.Pr.PressPosition=Mid * AR.Arm.RALoadArm=Extended) * AR.Arm.RAAnglePos=OverLoadedPress)))
# MC: formula passed --- AG(!(((PR.Pr.PressPosition=Top * AR.Arm.RAUnLoadArm=Extended) * AR.Arm.RAAnglePos=OverUnLoadedPress)))
# MC: formula passed --- AG((DB.DBeltCNTR.PieceOutDB=Y -> AF(TC.CraneCNTR.PieceGrabbedFromDB=Y)))