pm#propositional_attitude__propositionalattitude
  type:  pm#class_of_inheritable_relation_type  each instance RT of this class is a subclass of the 2nd-order_type pm#relation_type and the properties of RT can be inherited downward in the class hierarchy via the "subrelation" predicate

No statement uses or specializes pm#propositional_attitude; click here to add one.