<?xml version="1.0" encoding="UTF-8"?> <?xml-stylesheet href="xtc2tpdb.xsl" type="text/xsl"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" type="termination" xsi:noNamespaceSchemaLocation="http://dev.aspsimon.org/xtc.xsd"> <trs> <rules> <rule> <lhs> <funapp> <name>axxu11</name> <arg> <funapp> <name>tt</name> </funapp> </arg> <arg> <var>X</var> </arg> <arg> <var>Y</var> </arg> <arg> <var>U</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>axxu12</name> <arg> <funapp> <name>axxsplitAt</name> <arg> <funapp> <name>mark</name> <arg> <var>X</var> </arg> </funapp> </arg> <arg> <funapp> <name>mark</name> <arg> <var>U</var> </arg> </funapp> </arg> </funapp> </arg> <arg> <var>Y</var> </arg> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>axxu12</name> <arg> <funapp> <name>pair</name> <arg> <var>V</var> </arg> <arg> <var>W</var> </arg> </funapp> </arg> <arg> <var>P</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>pair</name> <arg> <funapp> <name>cons</name> <arg> <funapp> <name>mark</name> <arg> <var>P</var> </arg> </funapp> </arg> <arg> <var>V</var> </arg> </funapp> </arg> <arg> <funapp> <name>mark</name> <arg> <var>W</var> </arg>
content may be truncated. 'popout' for larger text window.