class Metamodel::ImplicationRule