@prefix polygon: <https://eyereasoner.github.io/eye/reasoning/polygon#>.

{((4 2) (6 2) (7 6) (4 6) (5 5) (5 3) (4 2)) polygon:area ?AREA} => {((4 2) (6 2) (7 6) (4 6) (5 5) (5 3) (4 2)) polygon:area ?AREA}.
