instance_of(p4,processor).
instance_of(multi_io,io).

allocate(p4,slot3).
allocate(multi_io,slot4).
