relational_properties.v 29.7 KB