<cond>
<cond> (조건적 자질-구조 제약조건부 자질구조 제약) 조건적 자질-구조 제약을 정의한다; 후건과 전건은 자질 구조 또는 자질-구조 집합으로 명시된다; 전건과 후건 모두 제시된 자질구조를 포섭하거나 전건이 포섭하지 않는다면 그 제약은 만족된다.조건부 자질구조 제약을 정의한다. 결론과 전제는 자질구조 또는 자질구조군으로 명시된다. 만약 전제와 결론 모두 주어진 자질구조를 포섭하거나 전제가 자질구조를 포섭하지 않는다면, 제약은 만족된다. 18.11 Feature System Declaration | |
모듈 | iso-fs — 18 Feature Structures |
에 의해 사용된 | |
포함할 수 있다 | |
선언 |
element cond { att.global.attributes, ( ( fs | f ), then, ( fs | f ) ) } |
예 |
<cond>
<fs> <f name="BAR"> <symbol value="1"/> </f> </fs> <then/> <fs> <f name="SUBCAT"> <binary value="false"/> </f> </fs> </cond> |