Question: predicate substringx1 x2 when x1 is quotabcquot and x2 is...
predicate: substring(x1, x2)
when x1 is "abc" and x2 is "helloabcxy" then predicate is true.
can you help me write definition of this predicate? for example) for all x,y ..... x > y ..... etc