'''isRecordField/9'''

 * 'NIL'|package_name
 * 'NIL'|component_type_identifier
 * 'NIL'|component_implementation_identifier
 * 'NIL'|property_owner_identifier
 * property_identifier
 * (assignment list) element_number (integer)
 * (record field) identifier
 * (record field) value
 * line number (integer)