Text this: Variable Domain First-Order First-Degree Entailment and Some of Its Children.