Expressive Languages
	Well-known:
								Easier
			Expressive language  Harder inference
					more structured