Add test for logical properties.