?-?-Hexp-(1<->1)[?-?-Hexp-(1->2)]-?-?-Hexp
