implied property functions. comments

moved implied property logic into separate functions. Added inline comments while reading.