[[<source> <target> <type>] ...]