# Question: predicate substringx1 x2 when x1 is quotabcquot and x2 is...

###### Question details

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