An expression like
o[A->?Y],?Y[B->?Z],?Z[C->?U]

can be reduced to

o.A.B.C

You can insert the shortened expression as a term wherever you want.