"The check psense constraint"

SEMANTIC CONSTRAINTS : Check P-sense

Overview

This constraint is used to check that the psense of the reciever is compatible with the psense the assigner can assign. It is similar to the check category constraint.

Proposal

The constraint is proposed for all fuses.

Implementation

The constraint can pass in 3 ways :

The category of the receiver matches exactly the psense that the assigner requires. E.g., The fuse is for an internal role, the assigner requires a ENTITY to fill this role and the receiver ihas psense ENTITY.
The assigner doesn't require a particular psense for that role : the psenseattribute for the assigner's role to fill will have value *.
(* = wildcard and can match to any psense).

Notes

May have to make these checks more detailed than the current 'must match exactly' or 'can match anything'. For example may have some psenses that can match more than one sub-psenses etc. This would mean a more robust implementation of type coercion.

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

Updated by Julie Van Dyke, (vandyke@cs.cmu.edu) August, 1997