/**
*/
package net.certware.argument.language.l;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Universal Quantified Term</b></em>'.
* <!-- end-user-doc -->
*
*
* @see net.certware.argument.language.l.LPackage#getUniversalQuantifiedTerm()
* @model
* @generated
*/
public interface UniversalQuantifiedTerm extends QuantifiedTerm
{
} // UniversalQuantifiedTerm