simplify modeling with only instances of kind / state / property