func (s *Ontology) parseNegativeObjectPropertyAssertion(p *parser.Parser) (err error) {

	if err = p.ConsumeTokens(parser.NegativeObjectPropertyAssertion, parser.B1); err != nil {
		return
	}
	pos := p.Pos()

	var oe meta.ObjectPropertyExpression
	oe, err = parsefuncs.ParseObjectPropertyExpression(p, s.Decls, s)
	if err != nil {
		err = pos.Errorf("parsing first param in NegativeObjectPropertyAssertion: %v", err)
		return
	}
	var a1 individual.Individual
	a1, err = parsefuncs.ParseIndividual(p, s.Decls, s)
	if err != nil {
		err = pos.Errorf("parsing first individual in NegativeObjectPropertyAssertion: %v", err)
		return
	}
	var a2 individual.Individual
	a2, err = parsefuncs.ParseIndividual(p, s.Decls, s)
	if err != nil {
		err = pos.Errorf("parsing second individual in NegativeObjectPropertyAssertion: %v", err)
		return
	}

	if err = p.ConsumeTokens(parser.B2); err != nil {
		return
	}

	s.AxiomStore.StoreNegativeObjectPropertyAssertion(oe, a1, a2)
	return
}
// parseNegativeObjectPropertyAssertion parses a single NegativeObjectPropertyAssertion(...) expression, including braces.
parseNegativeObjectPropertyAssertion parses a single NegativeObjectPropertyAssertion(...) expression, including braces.
// parseNegativeObjectPropertyAssertion parses a single NegativeObjectPropertyAssertion ( ... ) expression including braces .
func (s *Ontology) parseNegativeObjectPropertyAssertion(p *parser.Parser) (err error) {
	if err = p.ConsumeTokens(parser.NegativeObjectPropertyAssertion, parser.B1); err != nil {
		return
	}
	pos := p.Pos()
	var oe meta.ObjectPropertyExpression
	oe, err = parsefuncs.ParseObjectPropertyExpression(p, s.Decls, s)
	if err != nil {
		err = pos.Errorf("parsing first param in NegativeObjectPropertyAssertion: %v", err)
		return
	}
	var a1 individual.Individual
	a1, err = parsefuncs.ParseIndividual(p, s.Decls, s)
	if err != nil {
		err = pos.Errorf("parsing first individual in NegativeObjectPropertyAssertion: %v", err)
		return
	}
	var a2 individual.Individual
	a2, err = parsefuncs.ParseIndividual(p, s.Decls, s)
	if err != nil {
		err = pos.Errorf("parsing second individual in NegativeObjectPropertyAssertion: %v", err)
		return
	}
	if err = p.ConsumeTokens(parser.B2); err != nil {
		return
	}
	s.AxiomStore.StoreNegativeObjectPropertyAssertion(oe, a1, a2)
	return
}
func ( s * Ontology ) parseNegativeObjectPropertyAssertion ( p * parser . Parser ) ( err error ) { if err = p . ConsumeTokens ( parser . NegativeObjectPropertyAssertion , parser . B1 ) ; err != nil { return } pos := p . Pos ( ) var oe meta . ObjectPropertyExpression oe , err = parsefuncs . ParseObjectPropertyExpression ( p , s . Decls , s ) if err != nil { err = pos . Errorf ( " " , err ) return } var a1 individual . Individual a1 , err = parsefuncs . ParseIndividual ( p , s . Decls , s ) if err != nil { err = pos . Errorf ( " " , err ) return } var a2 individual . Individual a2 , err = parsefuncs . ParseIndividual ( p , s . Decls , s ) if err != nil { err = pos . Errorf ( " " , err ) return } if err = p . ConsumeTokens ( parser . B2 ) ; err != nil { return } s . AxiomStore . StoreNegativeObjectPropertyAssertion ( oe , a1 , a2 ) return }
parseNegativeObjectPropertyAssertion parses a single NegativeObjectPropertyAssertion(...) expression, including braces.
parseNegativeObjectPropertyAssertion parses a single NegativeObjectPropertyAssertion ( ... ) expression including braces .