multiple `property:` lines

Joachim suggest we allow multiple `property:` lines.  This can make it easier to populate the properties of an automaton in some scenarios.

I don't see any problem with this.