has associated axiom(nl)
@en