adding property_partial_state_graph-handdrawn