This rule does the exact opposite of ContextualizerRule, that is it turns contextual knowledge into non contextual knowledge
More specifically apply the following inference
ContextLink <TV> C R A B |- R <TV> C ANDLink A C ANDLink B
It is assumed that both C, B and A are Nodes, which might be too constraining in the future.
ContextLink <TV> C A |- SubsetLink <TV> C A
where A is a Node. that is because
A <TV> is equivalent to
SubsetLink <TV> Universe A
the rest follows from a).