/**
*/
package net.certware.argument.language.l;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Ground Addition</b></em>'.
* <!-- end-user-doc -->
*
*
* @see net.certware.argument.language.l.LPackage#getGroundAddition()
* @model
* @generated
*/
public interface GroundAddition extends ArithmeticTerm
{
} // GroundAddition