| Jack and Jill | went up | the hill, |
| To fetch | a pail of | water. |
| Jack | fell down, |
| And broke | his crown. |
| And Jill | came tumbling | after. |
Dec 09, 20251 min read
| Ja∩Ji | dtdh>0 | (hbase→hwell)∈Xhill |
|---|---|---|
| Jack and Jill | went up | the hill, |
Ja,Ji∈{kids(h, p, c)}; dtdh>0
| (xi,∅)→(xj,1)→(xi,1) | p∋w | =pfull |
|---|---|---|
| To fetch | a pail of | water. |
(pfull∩hwell)→(pfull∩hbase)
| Ja | dtdhJat=t1≪0 |
|---|---|
| Jack | fell down, |
∃t1 s.t. dtdhJat=t1≪0
| c{c1}→c{⋃i=1n>1ci} | cJa |
|---|---|
| And broke | his crown. |
c1→⋃i=1nci(n≥2,Ci∩Cj=∅ for i=j)
| Ji | dtdhJit=t2≪0 | ∃t2>t1 |
|---|---|---|
| And Jill | came tumbling | after. |
∃t2>t1 s.t. dtdhJit=t2≪0