current_predicate	2
	X	Y	_
	goal_expansion	Y	goal_expansion(_)