gras: property implementation in lib