'(=> (= (Model-Id (Elevator.Door ?X)) Door_Model_Code_M03) (= (Car_Return_Left ?X) (- (Platform_Width_F (Elevator.Platform ?X)) (+ (Opening_Width_Building ?X) 3))))