Test a contract on a property

The video's steps

1. 1

   In the Test with panel, open the list to choose a property.

   0:00
2. 2

   Choose the property: what it doesn't print is greyed out right in the text.

   0:07
3. 3

   In Conditions in this language, each clause is Shown, Hidden or Otherwise for this property.

   0:15

4. Click Preview, at the top right, to read the contract with the property's values.

   0:23