T09-O-01 Unconsummated marriages: a separate clinical entity or simply a consequence of single sexual dysfunctions?
Starting from a rewiew of international literature about unconsummated marriages, our group found a big discrepance in the meaning that researchers gave to this expression. Urologists pointed up that the main causes were related to male defaillance in reaching and mantaining an adequate erection or controlling the ejaculatory reflex. Gynaecologists, on the other side, remarked vaginismus as the leader factor substaining the impossible coitus among couples. Definitions of unconsummated marriages are confused, but also in the field of therapy interventions we have found a lot of different options suggested. The proposal of considering unconsummated marriages as a separate and a specifical clinical entity accompanied by a specific diagnostic classification is presented and discussed.
We continue the study of bottom-up unranked tree automata with equality and ::: disequality constraints between direct subtrees. In particular, we show that ::: the emptiness problem for the nondeterministic automata is decidable. In ::: addition, we show that the universality problem, in contrast, is undecidable.