pub const ABSTRACT_PROP: &str = "abstract_prop";
Predicate symbol declared by name and parameter list only (no : / definition body); cf. prop with iff body.
:
prop