LiftSystem  &&  (LiftSystem  ||  !Anti_Prank)  &&  (LiftSystem  ||  !Empty)  &&  (LiftSystem  ||  !Executive_Floor)  &&  (LiftSystem  ||  !Open_When_Idle)  &&  (LiftSystem  ||  !Overload)  &&  (LiftSystem  ||  !Park)  &&  (LiftSystem  ||  !Quick_Close)  &&  (LiftSystem  ||  !Shuttle)  &&  (LiftSystem  ||  !Two_Thirds_Full)  &&  (LiftSystem  ||  !o_1)  &&  (LiftSystem  ||  !o_2)  &&  (LiftSystem  ||  !o_3)  &&  (LiftSystem  ||  !o_4)  &&  (LiftSystem  ||  !o_5)  &&  (LiftSystem  ||  !o_6)  &&  (LiftSystem  ||  !o_7)  &&  (LiftSystem  ||  !o_8)  &&  True  &&  !False