| 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"). |
