Successor property
Successor properties are separated by comma (,) from preceding property.
Definition:
next_prop := oif_sep [ prop_init ]
Successor properties are separated by comma (,) from preceding property.
next_prop := oif_sep [ prop_init ]