isOneOfNearestAGBStars
P136291
predicate
Indicates that the subject star belongs to the set of asymptotic giant branch (AGB) stars that are among the closest to Earth in distance.