If the validation is a function, it must return a fitting tree if called with the conclusion and hypothesis of the rule.
(the validation; is; a function) (it; must return; a fitting tree if called with the conclusion and hypothesis of the rule) (a fitting tree; called; )
the validation it a fitting tree
is must return called
a function
a fitting tree if called with the conclusion and hypothesis of the rule