abstract Q6 = {

cat NP ; CN ; Det ; AP ;

fun
  DetCN : Det -> CN -> NP ;  -- 1
  ModCN : AP -> CN -> CN ; -- 1/2
  a : Det ;    -- 1/4
  the : Det ;  -- 1/4
  this : Det ; -- 1/4 
  my : Det ;   -- 1/4
  house : CN ; -- 1/2
  big : AP ;   -- 1

}