Some samples of properties we have represented

---