Understanding designed objects by program synthesis