Output is of the form "reference - sentence".

Takes a HasSymbol that is also Referable and outputs as a Sentence: "symbol is defined in reference."

Same as definedIn, but allows for additional information to be appended to the Sentence.

Takes a Referable and outputs as a Sentence "defined in reference" (no HasSymbol).

Takes a Symbol and its Reference (does not append a period at the end!). Outputs as "symbol is defined in source".

Takes an expression and a Referable and outputs as a Sentence "expression (source)".

Takes a Referable source and a UnitalChunk and outputs as a Sentence: "From source we can replace symbol:".

Wraps "from reference" in parentheses.

Similar to fromSource but takes a list of references instead of one.

Takes an amount as a Sentence and appends a unit to it.

Appends "following reference" to the end of a Sentence.

Takes a list and a Section, then generates a list of that section's reference to match the length of the list.

Converts input to a Sentence and appends %.

Produces a Sentence that displays the constraints in a set {}.

Produces a Sentence that displays the constraints in a set {}.

Prepends the word Equation to an Int.

Uses an Either type to check if a String is valid - Left with error message if there is an invalid Char in String, else Right with String.

Used when you want to say a term followed by its symbol. ex. "...using the Force F in...".

Helper functions for making likely change statements. Uses form likelyFrame parameter1 _ parameter2.

Helper functions for making likely change statements. Uses form likelyFrame parameter1 _ parameter2.

Helper functions for making likely change statements. Uses form likelyFrame parameter1 _ parameter2.

Returns the Sentence "(titleize aNamedIdea) Showing the Connections Between contents".

Takes a list of Referables and Symbols and outputs as a Sentence "By substituting symbols, this can be written as:".

Extracts the typical uncertainty to be displayed from something that has an uncertainty.

Returns the Sentence "The chunk under consideration is chunkDefinition".

Get a unit symbol if there is one.

Apply a binary function to the terms of two named ideas, instead of to the named ideas themselves. Ex. fterms compoundPhrase t1 t2 instead of compoundPhrase (t1 ^. term) (t2 ^. term).

Applies Bullet and Flat to a list.

Applies Bullets and headers to a Nested ListType. The first argument is the headers of the Nested lists.

Makes Sentences from an item and its reference. Takes the title of reference as a String and a Sentence containing the full reference. Wraps the full reference in parenthesis.

Makes a traceability matrix from a list of row titles, a list of rows of "checked" columns, and a list of columns.

Zip helper function enumerates abbreviations and zips it with list of ItemType:

• s - the number from which the enumeration should start from (Integer),
• t - the title of the list (Sentence),
• l - the list to be enumerated ([Sentence]).

Helper for making a table from a columns.

Converts lists of simple ItemTypes into a list which may be used in Contents but is not directly referable.

Create a list in the pattern of "The __ are refined to the __". Note: Order matters!

Sorts a list of HasSymbols by Symbol.

Sorts a tuple list of HasSymbols by first Symbol in the tuple.

Helpful combinators for making Sentences into Terminologies with Definitions. Returns of the form: "term - termDefinition".

Helpful combinators for making Sentences into Terminologies with Definitions. Returns of the form: "term (abbreviation) - termDefinition".

Helpful combinators for making Sentences into Terminologies with Definitions. Returns of the form: "term (symbol) - termDefinition".

Distributes a list of Sentences by prepending individual Sentences once to an existing list of Sentences.

For example:

>>> zipSentList [S "Hi", S "Hey", S "Hi"] [[S "Hello"], [S "World"], [S "Hello", S "World"]]
[[S "Hi", S "Hello"], [S "Hey", S "World"], [S "Hi", S "Hello", S "World"]]