relational_properties.v 29.9 KB