<?xml version="1.0"?> <?xml-stylesheet type="text/xsl" href="../../xml/xtcHTML.xsl"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../../xml/xtc.xsd" type="termination"> <trs> <rules> <rule> <lhs> <funapp> <name>and</name> <arg> <var>P</var> </arg> <arg> <funapp> <name>forall</name> <arg> <lambda> <var>x46</var> <type> <basic>term</basic> </type> <application> <var>Q</var> <var>x46</var> </application> </lambda> </arg> </funapp> </arg> </funapp> </lhs> <rhs> <funapp> <name>forall</name> <arg> <lambda> <var>x45</var> <type> <basic>term</basic> </type> <funapp> <name>and</name> <arg> <var>P</var> </arg> <arg> <application> <var>Q</var> <var>x45</var> </application> </arg> </funapp> </lambda> </arg> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>and</name> <arg> <funapp> <name>forall</name> <arg> <lambda> <var>x48</var> <type> <basic>term</basic> </type> <application> <var>Q</var> <var>x48</var> </application> </lambda> </arg> </funapp> </arg> <arg> <var>P</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>forall</name> <arg> <lambda> <var>x47</var> <type> <basic>term</basic> </type> <funapp> <name>and</name> <arg> <application> <var>Q</var> <var>x47</var> </application> </arg>
content may be truncated. 'popout' for larger text window.