A(~>sub~)B(~>sub~):(~x~)