Text this: Learning Domain Theories