*DEPENDENCIES* record all the constraints which, if set, would conflict with a DEP precondition. In RELATION-20 rule 0, the following DEP precondition is listed:
As stated above, this requires DEATH-1 to have the constraint (C (sur (form prog))).
If DEATH-1 ever had the constraint (NC (sur (form prog)))
, then this would be an obvious contradiction
to the requirements of RELATION-20, rule 0's DEP rule. This is recorded in
*DEPENDENCIES*.
*DEPENDENCIES*
RELATION-20 rule 0 precondition 0: ((%DEATH-1 (NC (SUR (FORM PROGRESSIVE))))) (RELATION-20 rule 1 precondition 0: ((%DEATH-1 (NC (SUR (FORM NOUN)))))