Noun
subnector (plural subnectors) (logic) a functor which takes as input one or more sentences and outputs a term.