wondering about nested pattern matching

Given nested.n3
@keywords forAll, forSome, a, of, is .

forAll X, Y .
{:a :p :c} a :Formula .

{ {X :p :c . :a :p Y} a :Formula } => {Y :ww X} .

cwm nested.n3 --think
does not have the rule fire.

should it? (I am having a two triple pattern match a one triple 
formula). That one triple matches both triples in the pattern.


Received on Friday, 26 August 2005 20:26:05 UTC