Summary derives from its group#

This page is generated from the code and must not be edited by hand.

Not available in this version. A summary is suggested as made from the files of its group, when the group holds three or more files under one condition.

summary_derives_from_its_group version 1

  • Kind of rule: Pairs suggested for a look (proposes). Proposes that two files are related in one of the eight ways, for a person to look at. A proposal is never a conclusion.

  • What it concludes: derives, named summarized_from

  • Reasoning: defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.

  • What it reads: a group of files

Is it available in this version?#

Not available in this version. It proposes pairs but names no set of files to draw them from, so it proposes nothing yet.

What would defeat it#

It names no rule whose conclusion would defeat it.

Parameters#

Parameter

Shipped value

May be

What it does

member_respect

"experimental_condition"

text

The respect whose equivalence class is the member set. An equivalence rather than a folder walk, because every file below here reaches an arbitrary distance and would make a top-level report derive from the whole pool.

minimum_members

3

whole number, from 2 to 10000

How many members make an aggregation. Two is a pair, and a pair is already served by the rules that propose one-to-one derivations.