add obligation properties to ->*

for online check syntax to pick up