Assertion: predicate's variable | /r/HasProperty | instantiated as plato
Facets:
value: in the second sentence
type: TEMPORAL
Source sentences:
text: The variable a is instantiated as "Socrates" in the first sentence and is instantiated as "Plato" in the second sentence.