Premise: assembly line formulas and ...

Hypothesis: Assembly line formulas is combined with another thing.
Relation: entailment