// Path: parser/src/main/java/ch/ethz/inf/vs/semantics/parser/visitors/IN3ElementVisitor.java
// public interface IN3ElementVisitor<T> {
// 	public T visitBlankNode(BlankNode blankNode);
// 
// 	T visitBlankNodePropertyList(BlankNodePropertyList verbObjects);
// 
// 	T visitBooleanLiteral(BooleanLiteral booleanLiteral);
// 
// 	T vistClassification(Classification classification);
// 
// 	T vistExvar(Exvar exvar);
// 
// 	T vistFormula(Formula statements);
// 
// 	T visitIri(Iri iri);
// 
// 	T visitLiteral(Literal literal);
// 
// 	T visitObjectCollection(ObjectCollection objects);
// 
// 	T visitObjectList(ObjectList objects);
// 
// 	T visitStatements(Statements statements);
// 
// 	T visitRDFResource(RDFResource RDFResource);
// 
// 	T visitVerb(Verb verb);
// 
// 	T visitVerbObject(VerbObject verbObject);
// 
// 	T visitN3Document(N3Document n3Document);
// 
// 	T visitPrefix(Prefix p);
// }


import ch.ethz.inf.vs.semantics.parser.visitors.IN3ElementVisitor;
import java.io.Serializable;
package ch.ethz.inf.vs.semantics.parser.elements;



public class Formula extends Statements implements N3Element.Object, N3Element.Subject, N3Element, Serializable {

	public RDFResource get(String name) {
		return tripleMap.get(name);
	}

	@Override
	public String toString() {
		StringBuilder sb = new StringBuilder();
		sb.append("{");
		for (N3Element.Statement s : this) {
			sb.append(s.toString());
			sb.append(". ");
		}
		sb.append("}");
		return sb.toString();
	}

// Path: parser/src/main/java/ch/ethz/inf/vs/semantics/parser/visitors/IN3ElementVisitor.java
// public interface IN3ElementVisitor<T> {
// 	public T visitBlankNode(BlankNode blankNode);
// 
// 	T visitBlankNodePropertyList(BlankNodePropertyList verbObjects);
// 
// 	T visitBooleanLiteral(BooleanLiteral booleanLiteral);
// 
// 	T vistClassification(Classification classification);
// 
// 	T vistExvar(Exvar exvar);
// 
// 	T vistFormula(Formula statements);
// 
// 	T visitIri(Iri iri);
// 
// 	T visitLiteral(Literal literal);
// 
// 	T visitObjectCollection(ObjectCollection objects);
// 
// 	T visitObjectList(ObjectList objects);
// 
// 	T visitStatements(Statements statements);
// 
// 	T visitRDFResource(RDFResource RDFResource);
// 
// 	T visitVerb(Verb verb);
// 
// 	T visitVerbObject(VerbObject verbObject);
// 
// 	T visitN3Document(N3Document n3Document);
// 
// 	T visitPrefix(Prefix p);
// }


// Path: parser/src/main/java/ch/ethz/inf/vs/semantics/parser/elements/Formula.java
import ch.ethz.inf.vs.semantics.parser.visitors.IN3ElementVisitor;
import java.io.Serializable;

package ch.ethz.inf.vs.semantics.parser.elements;



public class Formula extends Statements implements N3Element.Object, N3Element.Subject, N3Element, Serializable {

	public RDFResource get(String name) {
		return tripleMap.get(name);
	}

	@Override
	public String toString() {
		StringBuilder sb = new StringBuilder();
		sb.append("{");
		for (N3Element.Statement s : this) {
			sb.append(s.toString());
			sb.append(". ");
		}
		sb.append("}");
		return sb.toString();
	}

	@Override