is_rectangle -a (p_polygon _)                    is_accessible -a (p_polygon _)
{                                                {
  ...                                              ...
}                                                }

is_square -a (p_polygon _)                       is_visible -a (p_polygon _)
{                                                {
  ...                                              ...
}                                                }
