r1
type: ObjectProperty
sub property of: topObjectProperty
type: FunctionalProperty
domain: t1
range: t2
comment: 2.3