eduction is the thing for that

you can use it to create a new reducible thing from a reducible and an xform