A specialization of role. An instance ROLE of role is also an instance of binary role predicate just in case ROLE is an instance of binary predicate. In other words, ROLE is a binary predicate that relates a situation to a single individual that is involved in that situation, For example, Sub Situations, actor, and affected agent are all binary role predicates. See also binary role type predicate.