<_foot> a <_foot> <_opf>f a <_body> <_opr>r a <_foot> <_opf>f a <_body> <_opr>r x <_opr>s x <_foot> <_opf>f x <_foot> <_opf>f <_opf>g a <_foot> <_opf>f <_opf>g <_opf>h a <_body> <_opr>r <_opf>f a <_foot> a <_body> <_opr>r <_opf>f x <_opr>s x <_foot> <_opf>f x <_headf> <_opf>f x <_foot> a <_headf> <_opf>f x <_foot> <_opf>g x <_headf> <_opf>f x <_body> <_opr>r x <_foot> a <_headf> <_opf>f x <_body> <_opr>r x <_opr>s x <_foot> a <_headf> <_opf>f x <_foot> <_opf>g <_opf>h a <_headf> <_opf>f x <_body> <_opr>r <_opf>g x <_foot> a <_headf> <_opf>f x <_body> <_opr>r <_opf>f x <_opr>s x <_foot> a