premise: the soldiers stood at attention
hypothesis: a specific type of soldiers is function (or mapping, single-valued function), defined as '(mathematics) a mathematical relation such that each element of a given set (the domain of the function) is associated with an element of another set (the range of the function)' .