Added some spec for property and method definitions