Hi Doug:

Do S1 and S2 have the same meaning?
"edges incident with Q" is expanded when the class graph is known.

-- Karl

strategy S1 = 
  {
    A->B only-through {Q}
  }.
strategy S2 = 
  {
    A->B only-through {"edges incident with Q"}
  }.