@@ -0,0 +1,552 @@
+package rapanui.core;%0A%0Aimport rapanui.dsl.moai.Formula;%0Aimport rapanui.dsl.moai.Term;%0A%0Apublic class SubtermEqualityJustification extends Justification %7B%0A%09private final Term subTerm;%0A%09private final Justification justification;%0A%0A%09public SubtermEqualityJustification(Formula justifiedFormula, Term subTerm, Justification justification) %7B%0A%09%09super(justifiedFormula);%0A%09%09this.subTerm = subTerm;%0A%09%09this.justification = justification;%0A%09%7D%0A%0A%09public Term getSubTerm() %7B%0A%09%09return subTerm;%0A%09%7D%0A%0A%09public Justification getJustification() %7B%0A%09%09return justification;%0A%09%7D%0A%7D%0A

add SubtermEqualityJustification