other,72-3-J87-1003,ak numbers of <term> conjuncts </term> in the <term> scope </term> of respectively , whereas other <term>
other,10-3-J87-1003,ak </term> , which makes crucial use of the <term> Interchange Lemma </term> of Ogden et al. , is so constructed
hide detail