Identifies the property used in a statement when representing the statement in reified form"