This information is computed as follows: Let C a construction defined in the grammar by means of a set of properties S C , let A C an assignment for the construction C, • Satisfaction ratio (SR): the number of satisfied properties divided by the number of eval- The SR value varies between 0 and 1, the two extreme values indicating that no properties are satisfied (SR=0) or none of them are violated (SR=1).
sR only relies on the evaluated properties.