semantic: Fix @property