relational_properties.v 30.5 KB