module AMhomework where 

import List
import HFKR
import RPAU
import RAMU
import AM

{-
  your definition at the place of the dots 

groupM :: [Agent] -> Form -> FAM State
groupM gr form agents = 
 ...

-}

{- if your definition is correct, the following 
   should work now ... 

e0 = initM [a,b,c] [P 0,Q 0]
m1 = up e0 (groupM [a,b] (Neg p))
m2 = upd e0 (groupM [a,b] (Neg p))

-}


{- check by means of: 

  displayS5 e0
  displayS5 m1
  displayS5 m2 

-}