blob: 945fcd20e6ae538ba0dc9c81a86b03f2001c6f46 (
plain)
1
2
3
4
5
6
7
8
|
When when the distance between /p1/ and /p2/ is /distanceVar/ /body/ with environment /e/ & /p1/ has region /r1/ & /p2/ has region /r2/ {
Claim the distance between $p1 and $p2 is [region distance $r1 $r2]
}
When /someone/ wishes region /r/ is /verbed/ /x/ {
Claim $r has region $r
Wish $r is $verbed $x
}
|
