Currently, four constraint violation messages include a statement:
* value required claim: “… should also have a statement //property// //value//.”
* target required claim: “… should have a statement //property// //value//.”
* symmetric: “… should also have the symmetric statement //property// //value//.”
* inverse: “… should also have the inverse statement //property// //value//.”
We should come up with some UI to makemake it clearer that these are statements and the statemir different clear, e. g.parts (values, quotation marks and colonsproperties, or putting the inserted values inside “pills” (previously suggested [here](https://phabricator.wikimedia.org/T164354#3237848))items) so people have an easier time understanding the constraint violation messages.
(Note also that many more messages include properties and items but not directly as statements, including value/target required claim in the case of more than one permitted value**Mockups:**
(We go with the first option.)