p,q : global reference position
r : reduction kind parameter (true = ordinary, false = extended)
s : local dropping kind parameter (true = general, false = restricted)
p,q : global reference position
r : reduction kind parameter (true = ordinary, false = extended)
s : local dropping kind parameter (true = general, false = restricted)