First version of property prediction lib.