227
edits
User:Dvdkhl/Ideas: Difference between revisions
Jump to navigation
Jump to search
m
→Presets
m (→Presets) |
|||
| Line 94: | Line 94: | ||
* Almost all (if not all) social relations can be derived from those tables | * Almost all (if not all) social relations can be derived from those tables | ||
** Brothers = GetBrothers(Sister) = {Brother ∈ Characters | isMale Brother && ∀ Parent ∈ Characters( Sister isChildOf Parent && Brother isChildOf Parent ) } | ** Brothers = GetBrothers(Sister) = {Brother ∈ Characters | isMale Brother && ∀ Parent ∈ Characters( Sister isChildOf Parent && Brother isChildOf Parent ) } | ||
** | ** Aunts = GetAunts(NephewOrNiece) = { Aunt ∈ Characters | isFemale Aunt && ∃ Parent ∈ Characters ( NephewOrNiece isChildOf Parent && (Parent isSiblingOf Aunt || Parent isSiblingInLawOf Aunt) ) } | ||
** etc. | ** etc. | ||