Using the same predicate with different arity is not handled by tspass but allowed in AAL.
Using the same predicate with different arity is not handled by tspass but allowed in AAL.