Evaluating

{ (ms_,fss_,ds_) | 
    (Xor.(Hash.(f2,<N, N, Alice, P_.Bob>),Hash.(f2,<N, N, Bob, P_.Mallory>)), 
     ms_, fss_, ds_) <- f_ms_fss_ds_s
}

Gives

{(
  {Xor.(Hash.(f2,<N, N, Alice, P_.Bob>),Hash.(f2,<N, N, Bob,P_.Mallory>))},
  {{Hash.(f2,<N, N, Alice, P_.Bob>)}},
  {(Hash.(f2,<N, N, Alice, P_.Bob>),
    {Xor.(Hash.(f2,<N, N, Alice, P_.Bob>),Hash.(f2,<N, N, Bob,P_.Mallory>))}
  )}
)}


Evaluating

{ AlphaL(
    Xor.(Hash.(f2,<N, N, Alice, P_.Bob>),Hash.(f2,<N, N, Bob,P_.Mallory>)), 
    ms_,fss_,ds_
  ) | 
  (Xor.(Hash.(f2,<N, N, Alice,P_.Bob>),Hash.(f2,<N, N, Bob, P_.Mallory>)), 
   ms_, fss_, ds_) <- f_ms_fss_ds_s
}

Gives

{{
  infer.(
    Xor.(Hash.(f2,<N, N, Alice, P_.Bob>),Hash.(f2,<N, N, Bob,P_.Mallory>)),
    {Hash.(f2,<N, N, Alice, P_.Bob>)}
  ), 
  say.Xor.(Hash.(f2,<N, N, Alice, P_.Bob>),Hash.(f2,<N, N, Bob, P_.Mallory>)), 
  hear.Xor.(Hash.(f2,<N, N, Alice, P_.Bob>),Hash.(f2,<N, N, Bob, P_.Mallory>))
}} 

should include 

infer.(
  Hash.(f2,<N, N, Alice, P_.Bob>), 
  {(Xor.(Hash.(f2,<N, N, Alice, P_.Bob>),Hash.(f2,<N, N, Bob,P_.Mallory>)))}
  )

