| 1 | |
| 2 | == TIL schéma v pravidlách systému SET |
| 3 | |
| 4 | vrule_sch_add funguje jako "pridavani odspodu" k vrule_sch. |
| 5 | Odpovida to syntovemu: |
| 6 | clause -> rhs1 rhs2 rhs3 |
| 7 | vrule_sch ( $$ $@ "#1 +#2 (#3)" ) |
| 8 | |
| 9 | coz je v setu: |
| 10 | TMPL: ... ... ... |
| 11 | MARK 0 3 5 <clause> |
| 12 | LABEL vrule_sch ( $$ $@ ) |
| 13 | TMPL -> ... rhs1 ... rhs2 ... |
| 14 | LABEL vrule_sch_add ( $$ $@ "#1H +#2H" ) |
| 15 | TMPL -> ... rhs1 ... rhs3 ... |
| 16 | LABEL vrule_sch_add ( $$ $@ "#1H (#2)" ) |
| 17 | |
| 18 | kdyz tam neni H, tak se #CISLO tyka cele podfraze, kdyz je tam H, |
| 19 | tak jen jeji hlavy (napr pro podstrom "malé zelené kočky" je #2 |
| 20 | "malé zelené kočky" a #2H jen "kočky"). |