daml:TransitiveProperty