1 in definition
3 in notes
pro-sumti: a recent sumti before the last one, as determined by back-counting rules.
hours in angular measure of right ascension RA (default is 1).
pro-sumti whose referent's identity is unknown to the speaker
the latest aforementioned...; refers back to the most recently mentioned thing(s) that satisfies the x1 of the following predicate
(text) to x
(text) producing x