Semantic Analysis Of Ladder Logic