In the following chapters, we make use of a more readable and simplified representation for -constraints. Using the matrix notation introduced for representing -constraints, we will often leave off the constraint in a definite clause, and instead replace the variables in the clause with the matrix notation of the constraint on those variables.
Thus instead of
,
,
,
,
,
I write:
sign( syncats )
sign( syncatnp
agrAgr ),
sign( syncatvp
agrAgr )
In the case where variables occur only once I will omit them. Thus the above clause can also be written as:
sign( syncats )
sign( syncatnp
agrAgr ),
sign( syncatvp
agrAgr )