User module:Julian/MIU system

 import (NAT User_interface:Julian/MIU_system )

thm (MIIIIU (

) (|-  ( ( ( ( (M) + ( (I) + (I) ) ) + (I) ) + (I) ) + (U) ) ) (

initial  # MI  rule2     # MII assoc1 rule2    # MIIII assoc2 rule1    # MIIIIU

))

