I’m having trouble with a generic phrase that takes relations of unknown types. In the example below, I get a Problem message about the phrase “x relates to an L by G”. If you change the codomain of the relation from things to a non-object value kind like numbers, everything works. Is this a bug? I’m not really sure what is and is not allowed when it comes to relations and kind variables, since I can’t find any relevant discussion or examples in the documentation.
Foo is a room.
Blog relates various rooms to one thing.
To decide whether (F - relation of K to L) is compatible with (G - relation of value of kind K to value of kind L):
let the domain be the list of Ks which F relates;
repeat with x running through the domain:
if x relates to an L by G:
let y be the L to which x relates by F;
if G does not relate x to y, decide no;
decide yes.
When play begins:
say "[whether or not the blog relation is compatible with the blog relation]."