datum((5.5,6.5),pos).
datum((5.5,2.5),neg).
datum((6.5,8.5),neg).