=

 

Template

=(atom(S1),STRING S2)-(i,i)

Template

=(atom(S1),STRING S2)-(o,i)

Description:

S1 equal to S2

Remarks

Only S1 could be free. If all parameters are bounded then it checks the equivalence.