Until the roof is fixed, the house cant be sold.
Existential control of the ToSell relation.
He will sell the house in the spring.
Clausal control asserts logical control of the object it also connects to the object. The true logical forces a true existential connection from the operator.
How can this be done? We could use a special type of link that asserts this, or do we need two connections, so that we can insert a negation on the logical path without breaking the object path?
We can assert a logical negative, but that cannot assert an existential true it may have been impossible to sell the house.
If we assert an existential negative, that asserts a logical negative. The verb auxiliary controlled which connection was used the logical or the existential.
We also need to handle clausal nouns -
His premonition that the bridge would collapse proved correct.
The noun supports the clause - other nouns are - idea, concept, thought. The relation sets the noun true, and a connection to it takes over the clausal role. The clause is first treated as a relative pronoun clause, and turned into a clausal clause when being connected to a clausal noun.
With a true logical input, the operator puts out a true existential.
The false logical input puts out a false existential, which means the house cannot be sold.
Negation of the existence of the authorisation eliminates its output.
We can make operators with clausal control have an extra link, which they sprout on receiving a logical value. That is
The discourse provides a logical value. The operator responds by attaching a link to the operator controlled by the clausal operator and propagating the incoming value. The operator remains a RELATION3, as the logical connection is orthogonal to its parameters.
The state propagates down, but not necessarily back. If it turns out the house is not sold, the ToSell relation is negated, but that does not negate what was said.