package org.whole.lang.firstorderlogic.codebase;
import org.whole.lang.templates.AbstractTemplateFactory;
import org.whole.lang.builders.IBuilderOperation;
import org.whole.lang.firstorderlogic.reflect.FirstOrderLogicLanguageKit;
import org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder;
/**
* @generator Whole
*/
public class TopicMapsTheory extends AbstractTemplateFactory {
public void apply(IBuilderOperation op) {
IFirstOrderLogicBuilder b0 = (IFirstOrderLogicBuilder) op.wGetBuilder(FirstOrderLogicLanguageKit.URI);
org.whole.lang.commons.builders.ICommonsBuilder cb = (org.whole.lang.commons.builders.ICommonsBuilder) op.wGetBuilder(org.whole.lang.commons.reflect.CommonsLanguageKit.URI);
b0.Theory_();
b0.Name("topicmaps");
b0.ImportTheories();
b0.Declarations_(25);
b0.NameDeclaration_();
b0.Name("Datatype");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Datatype");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Identifiers");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("StringDatatype");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("IRIDatatype");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("XMLDatatype");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectLoactors");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectIdentifiers");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Subject");
b0.SortType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("SubjectIndicator");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("URI");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("URI");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("ID");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifier");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Topic");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0._EntityName();
b0._NameDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Datatype");
b0.Name("StringDatatype");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Datatype");
b0.Name("IRIDatatype");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Datatype");
b0.Name("XMLDatatype");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Identifiers");
b0.Name("SubjectLoactors");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Identifiers");
b0.Name("SubjectIdentifiers");
b0._SubtypeDeclaration();
b0.NameDeclaration_();
b0.Name("Uri");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("URIS");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("id");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("ID");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("Identifiers");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("sub");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Subject");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("top");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("IdentifierOf");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("ID");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectIndicator");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("sub1");
b0.Name("Subject");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("sub2");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("SubjectIndicator");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectIdentifier");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectLocator");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Ref");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0._Declarations();
b0.Assertions_(4);
b0.PredicateDefinition_();
b0.SimplePredicate("IdentifiedTopic");
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("ID");
b0._VariableDeclaration();
b0._Parameters();
b0.PredicateApplication_();
b0.SimplePredicate("IdentifierOf");
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._ExistUnique();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.SimplePredicate("Ref");
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Or_();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectIdentifiers");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectLocators");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._And();
b0._Exist();
b0._And();
b0._ExistUnique();
b0._PredicateDefinition();
b0.PredicateDefinition_();
b0.SimplePredicate("UnidentifiedTopic");
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("ID");
b0._VariableDeclaration();
b0._Parameters();
b0.PredicateApplication_();
b0.SimplePredicate("IdentifierOf");
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._ExistUnique();
b0.Not_();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.SimplePredicate("Ref");
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Or_();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectIdentifiers");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectLocators");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._And();
b0._Exist();
b0._Not();
b0._And();
b0._ExistUnique();
b0._PredicateDefinition();
b0.Axiom_();
b0.Name("SI2SL");
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.Coimplication_();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectIdentifier");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.Not_();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectLocator");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0._Not();
b0._Coimplication();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("TopicIdentified");
b0.ForAll_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0.Or_();
b0.PredicateApplication_();
b0.SimplePredicate("IdentifiedTopic");
b0.Arguments_(1);
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("UnidentifiedTopic");
b0.Arguments_(1);
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._ForAll();
b0._Axiom();
b0._Assertions();
b0._Theory();
}
}