Justify Predicates
- justify_predicate(predicate, deductors, symbols)
- Return type:
Union[Assumption,NumericalCheck,RuleApplication,ARDeduction,CircleMerge,LineMerge,DirectConsequence,Reflexivity,None]
Union[Assumption, NumericalCheck, RuleApplication, ARDeduction, CircleMerge, LineMerge, DirectConsequence, Reflexivity, None]