nprels

利用空间表示的rcc8模型进行空间推理

( TPP TPPI )
( DC TPP TPPI )
( EC TPP TPPI )
( DC EC TPP TPPI )
( NTPP TPPI )
( DC NTPP TPPI )
( EC NTPP TPPI )
( DC EC NTPP TPPI )
( TPP NTPP TPPI )
( DC TPP NTPP TPPI )
( EC TPP NTPP TPPI )
( DC EC TPP NTPP TPPI )
( TPP NTPPI )
( DC TPP NTPPI )
( EC TPP NTPPI )
( DC EC TPP NTPPI )
( NTPP NTPPI )
( DC NTPP NTPPI )
( EC NTPP NTPPI )
( DC EC NTPP NTPPI )
( TPP NTPP NTPPI )
( DC TPP NTPP NTPPI )
( EC TPP NTPP NTPPI )
( DC EC TPP NTPP NTPPI )
( TPP TPPI NTPPI )
( DC TPP TPPI NTPPI )
( EC TPP TPPI NTPPI )
( DC EC TPP TPPI NTPPI )
( NTPP TPPI NTPPI )
( DC NTPP TPPI NTPPI )
( EC NTPP TPPI NTPPI )
( DC EC NTPP TPPI NTPPI )
( TPP NTPP TPPI NTPPI )
( DC TPP NTPP TPPI NTPPI )
( EC TPP NTPP TPPI NTPPI )
( DC EC TPP NTPP TPPI NTPPI )
( EC NTPP EQ )
( DC EC NTPP EQ )
( TPP TPPI EQ )
( DC TPP TPPI EQ )
( EC TPP TPPI EQ )
( DC EC TPP TPPI EQ )
( NTPP TPPI EQ )
( DC NTPP TPPI EQ )
( EC NTPP TPPI EQ )
( DC EC NTPP TPPI EQ )
( TPP NTPP TPPI EQ )
( DC TPP NTPP TPPI EQ )
( EC TPP NTPP TPPI EQ )
( DC EC TPP NTPP TPPI EQ )
( EC NTPPI EQ )
( DC EC NTPPI EQ )
( TPP NTPPI EQ )
( DC TPP NTPPI EQ )
( EC TPP NTPPI EQ )
( DC EC TPP NTPPI EQ )
( NTPP NTPPI EQ )
( DC NTPP NTPPI EQ )
( EC NTPP NTPPI EQ )
( DC EC NTPP NTPPI EQ )
( TPP NTPP NTPPI EQ )
( DC TPP NTPP NTPPI EQ )
( EC TPP NTPP NTPPI EQ )
( DC EC TPP NTPP NTPPI EQ )
( TPP TPPI NTPPI EQ )
( DC TPP TPPI NTPPI EQ )
( EC TPP TPPI NTPPI EQ )
( DC EC TPP TPPI NTPPI EQ )
( NTPP TPPI NTPPI EQ )
( DC NTPP TPPI NTPPI EQ )
( EC NTPP TPPI NTPPI EQ )
( DC EC NTPP TPPI NTPPI EQ )
( TPP NTPP TPPI NTPPI EQ )
( DC TPP NTPP TPPI NTPPI EQ )
( EC TPP NTPP TPPI NTPPI EQ )
( DC EC TPP NTPP TPPI NTPPI EQ )
.
76