"The check duplicate constraint"

SEMANTIC CONSTRAINTS : Check duplicate fusion

Overview

This constraint is used to check that the receiver is not already fused to the assigner in a different role. No argument can hold more than one role from the same assigner. For example this is to stop the subject being fused in all the action's argument roles. It is also meant to allow certain duplicate fusions that will trigger snips following the fuses.

Proposal

The constraint is proposed for all fuses.

Implementation

The constraint passes if the receiver is not already fused to the assigner in another role and fails if it is.

This page written by Mark H. Smith, April 1997.