The definemorefacts subroutine takes two factsets as arguments (the target and the content). It uses insertrule to add the facts from the content factset to the target factset (indexing as appropriate, based on the value of the variable ruleindexing). It returns the first factset as value.

definemorefacts differs from definefacts in that it does not empty the target factset before adding the new content.