7.4 Statement Conversion
predicate
(statement-list? val) → boolean?
val : any/c
TBD
procedure
(statement->list stmt) → (list/c subject? predicate? object?)
stmt : statement?
Turn any statement into a list of three components.
procedure
(statement->reified-set stmt)
→ (set/c (list/c subject? predicate? object?)) stmt : statement?
Reify the statement and return a list of lists.