More formally, given a labeled predicate-argument structure p l with m arguments and an unlabeled predicate-argument structure p u with n arguments, we consider (and score) all possible alignments between these arguments.
a (partial) alignment can be viewed as an injective function σ : an argument i of p l is aligned to argument σ(i) of p u if i ∈ M σ .