You should be able to define a property at type2 as the sum of another
property on type3, than on type1 define a property which is the sum of
the property on type2 (defined as the sum of property on type3) it
should be recursive as far as you do not overlap property names ;-)
Be aware of performance in making hierarchical calculations ;-)
Best
ANdreaT