PROC Cmd0() IS 
  IF 
    VAR 
      a = (108.3, 411.5), 
      b ~ (230.2, 403.6), 
      c = (239.7, 253.1), 
      d ~ (104.8, 251.7) 
    IN 
      (a, b) CONG (d, c) AND 
      (d, a) CONG (b, c) AND 
      (a, c) CONG (b, d) AND 
      d HOR c AND 
      b VER c -> 
        PS.MoveTo(a); 
        PS.LineTo(b); 
        PS.LineTo(c); 
        PS.LineTo(d); 
        PS.Close() 
    END 
  FI 
END;