142 Properties in EC4M