-
Notifications
You must be signed in to change notification settings - Fork 4
GeFaqDistributedDisjunction
EricZinda edited this page Jun 30, 2023
·
3 revisions
Yes, but only in some cases. The mechanism of reentrancy (coreference tags, e.g. #same) allows you to require that the value of two features be the same. The more general case ('distributed disjunction') is not possible within tdl however. You cannot state that the value of FOO is x just in case the value of BAR is y.
Home | Forum | Discussions | Events