[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Strange problems




Pertti:

 maybe it helps to investigate the structure of your
 proof sequent with the command Meta-X show-expanded-sequent
 to get a clearer picture about what is going on here.

--Harald

===========================================================================

   action_superposition.3.1.1.1.1 :  

   [-1]  sem(variable_assignments(role_of_object(ob!1, ra!1, roles(a!1)),
				  append(new_fields(ref!1), fields(a!1)),
				  append(new_assignments(ref!1), body(a!1))),
	     ra!1, b!1)
     |-------
   [1]   sem(variable_assignments(role_of_object(ob!1, ra!1, roles(a!1)),
				  append(new_fields(ref!1), fields(a!1)),
				  append(new_assignments(ref!1), body(a!1))),
	     ra!1, b!1)


Follow-Ups: References: