Autosynthesis of declared property