Precise specification to compound patterns with ExLePUS · Study