The statement's shape: every literal, bound value and placeholder list normalised to ?, with placeholder groups collapsed whatever their arity.
?
The statement's shape: every literal, bound value and placeholder list normalised to
?, with placeholder groups collapsed whatever their arity.