equality reasoning with functions and existentials?

--000e0cd20d4af10186049c73b6a4
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

I discovered powerloom the other day via a tweet
=A0=A0http://twitter.com/danja/status/37660228791042048

It looks pretty nifty.

I'm trying to tell it:

=A0state-code is unambiguous (i.e. its inverse is a function).
=A0There's a place with state-code "KS" and population 28000.
=A0There's also a place with state-code "KS" and state-bird western-meadowl=
ark.

and then ask it:
=A0Is there a place with population 28000 and state-bird western-meadowlark=
?

The attached is my attempt. It's *almost* working, but not quite. I
don't understand why not.

Clues, please, anyone?

--
Dan Connolly
http://www.madmode.com/

--000e0cd20d4af10186049c73b6a4
Content-Type: application/octet-stream; name=",same-state.plm"
Content-Disposition: attachment; filename=",same-state.plm"
Content-Transfer-Encoding: base64
X-Attachment-Id: f_gk9878470

KGluLXBhY2thZ2UgIlNURUxMQSIpCgooZGVmbW9kdWxlICJTQU1FLVNUQVRFIiA6aW5jbHVkZXMg
KCJQTC1VU0VSIikpCihpbi1tb2R1bGUgIlNBTUUtU1RBVEUiKQoKKGNsZWFyLW1vZHVsZSAiU0FN
RS1TVEFURSIpCgo7IHVzZSBmdW5jdGlvbiB0ZXJtcyB0byBhdm9pZCBVTkEKKGRlZmZ1bmN0aW9u
IHRoZSAoP2kpIDotPiAoP3ggVGhpbmcpKQoKOyBSZTogU0VNOiA1LjEgbGl0ZXJhbC9kYXRhIHZh
bHVlcyAoc2FtZVN0YXRlLCBwZW9wbGVLZXkgVEVTVHMpCjsgaHR0cDovL2xpc3RzLnczLm9yZy9B
cmNoaXZlcy9QdWJsaWMvd3d3LXdlYm9udC13Zy8yMDAySnVsLzAxMzIuaHRtbAooZGVmcmVsYXRp
b24gc3RhdGUtY29kZSAoP3MgP2MpCiAgOmF4aW9tcyAoaW52ZXJzZSBjb2RlLXN0YXRlIHN0YXRl
LWNvZGUpCikKKGRlZmZ1bmN0aW9uIGNvZGUtc3RhdGUgKD9jID9wKQogIDpheGlvbXMgKGludmVy
c2Ugc3RhdGUtY29kZSBjb2RlLXN0YXRlKQopCihkZWZyZWxhdGlvbiBzdGF0ZS1iaXJkICg/cGxh
Y2UgP2JpcmR0eXBlKSkKKGRlZnJlbGF0aW9uIHBvcHVsYXRpb24gKD9wbGFjZSA/cG9wKSkKCjso
YXNzZXJ0IChleGlzdHMgKD94KSAoYW5kIChzdGF0ZS1jb2RlID94ICJLUyIpCjsJCQkgIChwb3B1
bGF0aW9uID94IDI2ODg0MTgpKSkpCjsoYXNzZXJ0IChleGlzdHMgKD95KSAoYW5kIChzdGF0ZS1j
b2RlID95ICJLUyIpCjsJCQkgIChzdGF0ZS1iaXJkID95IHdlc3Rlcm4tbWVhZG93bGFyaykpKSkK
Cihhc3NlcnQgKGV4aXN0cyAoP3gpIChhbmQgKHN0YXRlLWNvZGUgKHRoZSA/eCkgIktTIikKCQkJ
ICAocG9wdWxhdGlvbiAodGhlID94KSAyNjg4NDE4KSkpKQooYXNzZXJ0IChleGlzdHMgKD95KSAo
YW5kIChzdGF0ZS1jb2RlICh0aGUgP3kpICJLUyIpCgkJCSAgKHN0YXRlLWJpcmQgKHRoZSA/eSkg
d2VzdGVybi1tZWFkb3dsYXJrKSkpKQoKOyhyZXRyaWV2ZSBhbGwgKGNvZGUtc3RhdGUgIktTIiA/
d2hlcmUpKQo7KHJldHJpZXZlIGFsbCAoYW5kIChjb2RlLXN0YXRlICJLUyIgP3doZXJlKQo7CQkg
ICAocG9wdWxhdGlvbiA/d2hlcmUgP24pKSkKCjsocmV0cmlldmUgYWxsIChhbmQgKGNvZGUtc3Rh
dGUgIktTIiA/d2hlcmUpCjsJCSAgIChzdGF0ZS1iaXJkID93aGVyZSA/YikpKQoKKHJldHJpZXZl
IGFsbCAoYW5kIChwb3B1bGF0aW9uID94IDI2ODg0MTgpCgkJICAgKHN0YXRlLWJpcmQgP3kgd2Vz
dGVybi1tZWFkb3dsYXJrKQoJCSAgIChzdGF0ZS1jb2RlID94ID9jb2RlKQoJCSAgIChzdGF0ZS1j
b2RlID95ID9jb2RlKSkpCgoKKHJldHJpZXZlIGFsbCAoYW5kIChwb3B1bGF0aW9uID94IDI2ODg0
MTgpCgkJICAgKHN0YXRlLWJpcmQgP3kgd2VzdGVybi1tZWFkb3dsYXJrKQoJCSAgIChjb2RlLXN0
YXRlID9jb2RlID94KQoJCSAgIChjb2RlLXN0YXRlID9jb2RlID95KSkpCgoKKHJldHJpZXZlIGFs
bCAoYW5kIChwb3B1bGF0aW9uID96IDI2ODg0MTgpCgkJICAgKHN0YXRlLWJpcmQgP3ogd2VzdGVy
bi1tZWFkb3dsYXJrKSkpCih3aHlub3QpCg==
--000e0cd20d4af10186049c73b6a4
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum

--000e0cd20d4af10186049c73b6a4--