Hi Linas,

I think it's useful to keep the different RelEx output relations for the cases with two "independent" clauses and "dependent" ones. As for the RelEx2Logic work, if we see the adjective clause sign "who(woman, live)",  then we can tell that the clause whose root verb is "live" is supposed to modify/constrain the argument/concept "woman", instead of creating a separated EvaluationLink for an independent clause; for the NLGen work, if we have the adjective clause sign, we will know that we should start a clause which is dependent with the antecedent "woman" instead of generating a new clause.

I think the examples you listed do have different semantic meanings. What about the sentences like:

A woman lives with Alice; she is a nurse.

A woman lives with Alice, who is a nurse.

For the first one, "she" could be "Alice" and "A woman", and we need more context to disambiguate it. 

I think for the latter one, most of people will think "Alice is a nurse" instead of "A woman is a nurse", because people tend to say "A woman, who is a nurse, lives  with Alice." if they want to express " A woman is a nurse".