relational_properties.v 29.2 KB