Taito Corporation's homepage is http://www.taito.com.
each predicate becomes an STT with two entity types (the type of the subject, which is the instance entity, and the type of the object) in V ; a single relation between the two types (the predicate) in R; and two simple initial templates in L: where (PReDICATe) is replaced with the relevant predicate.