[xtm-wg] ?Inference rules in XTM

[mgomari@ait.ca]

Hi,
I was wondering how to express an inference rule in XTM format.
I encountered different ways to do that but somehow confused and
not sure what is the formal and correct way.

Can somebody please address this problem by a simple example.

Thanks in advance
Mehran 


To Post a message, send it to:   xtm-wg@eGroups.com

To Unsubscribe, send a blank message to: xtm-wg-unsubscribe@eGroups.com