is a compactification of

1 triples
GPTKB property

Random triples
Subject Object
gptkb:real_projective_line real line