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