tableauBuildingRule
P165471
predicate
Indicates a rule that specifies how to systematically extend or construct a tableau by adding branches or formulas according to a formal procedure.