%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- not ground preserving Gamma_0: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) Gamma_1: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] SZS status Satisfiable