hornrels

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

( DC )
( EC )
( DC EC )
( PO )
( DC PO )
( EC PO )
( DC EC PO )
( TPP )
( DC TPP )
( EC TPP )
( DC EC TPP )
( PO TPP )
( DC PO TPP )
( EC PO TPP )
( DC EC PO TPP )
( NTPP )
( DC NTPP )
( EC NTPP )
( DC EC NTPP )
( PO NTPP )
( DC PO NTPP )
( EC PO NTPP )
( DC EC PO NTPP )
( TPP NTPP )
( DC TPP NTPP )
( EC TPP NTPP )
( DC EC TPP NTPP )
( PO TPP NTPP )
( DC PO TPP NTPP )
( EC PO TPP NTPP )
( DC EC PO TPP NTPP )
( TPPI )
( DC TPPI )
( EC TPPI )
( DC EC TPPI )
( PO TPPI )
( DC PO TPPI )
( EC PO TPPI )
( DC EC PO TPPI )
( PO TPP TPPI )
( DC PO TPP TPPI )
( EC PO TPP TPPI )
( DC EC PO TPP TPPI )
( PO NTPP TPPI )
( DC PO NTPP TPPI )
( EC PO NTPP TPPI )
( DC EC PO NTPP TPPI )
( PO TPP NTPP TPPI )
( DC PO TPP NTPP TPPI )
( EC PO TPP NTPP TPPI )
( DC EC PO TPP NTPP TPPI )
( NTPPI )
( DC NTPPI )
( EC NTPPI )
( DC EC NTPPI )
( PO NTPPI )
( DC PO NTPPI )
( EC PO NTPPI )
( DC EC PO NTPPI )
( PO TPP NTPPI )
( DC PO TPP NTPPI )
( EC PO TPP NTPPI )
( DC EC PO TPP NTPPI )
( PO NTPP NTPPI )
( DC PO NTPP NTPPI )
( EC PO NTPP NTPPI )
( DC EC PO NTPP NTPPI )
( PO TPP NTPP NTPPI )
( DC PO TPP NTPP NTPPI )
( EC PO TPP NTPP NTPPI )
( DC EC PO TPP NTPP NTPPI )
( TPPI NTPPI )
( DC TPPI NTPPI )
( EC TPPI NTPPI )
( DC EC TPPI NTPPI )
( PO TPPI NTPPI )
( DC PO TPPI NTPPI )
( EC PO TPPI NTPPI )
( DC EC PO TPPI NTPPI )
( PO TPP TPPI NTPPI )
( DC PO TPP TPPI NTPPI )
( EC PO TPP TPPI NTPPI )
( DC EC PO TPP TPPI NTPPI )
( PO NTPP TPPI NTPPI )
( DC PO NTPP TPPI NTPPI )
( EC PO NTPP TPPI NTPPI )
( DC EC PO NTPP TPPI NTPPI )
( PO TPP NTPP TPPI NTPPI )
( DC PO TPP NTPP TPPI NTPPI )
( EC PO TPP NTPP TPPI NTPPI )
( DC EC PO TPP NTPP TPPI NTPPI )
( EQ )
( DC EQ )
( EC EQ )
( DC EC EQ )
( PO EQ )
( DC PO EQ )
( EC PO EQ )
( DC EC PO EQ )
( TPP EQ )
( DC TPP EQ )
( EC TPP EQ )
( DC EC TPP EQ )
( PO TPP EQ )
( DC PO TPP EQ )
( EC PO TPP EQ )
( DC EC PO TPP EQ )
( TPP NTPP EQ )
( DC TPP NTPP EQ )
( EC TPP NTPP EQ )
( DC EC TPP NTPP EQ )
( PO TPP NTPP EQ )
( DC PO TPP NTPP EQ )
( EC PO TPP NTPP EQ )
( DC EC PO TPP NTPP EQ )
( TPPI EQ )
( DC TPPI EQ )
( EC TPPI EQ )
( DC EC TPPI EQ )
( PO TPPI EQ )
( DC PO TPPI EQ )
( EC PO TPPI EQ )
( DC EC PO TPPI EQ )
( PO TPP TPPI EQ )
( DC PO TPP TPPI EQ )
( EC PO TPP TPPI EQ )
( DC EC PO TPP TPPI EQ )
( PO TPP NTPP TPPI EQ )
( DC PO TPP NTPP TPPI EQ )
( EC PO TPP NTPP TPPI EQ )
( DC EC PO TPP NTPP TPPI EQ )
( TPPI NTPPI EQ )
( DC TPPI NTPPI EQ )
( EC TPPI NTPPI EQ )
( DC EC TPPI NTPPI EQ )
( PO TPPI NTPPI EQ )
( DC PO TPPI NTPPI EQ )
( EC PO TPPI NTPPI EQ )
( DC EC PO TPPI NTPPI EQ )
( PO TPP TPPI NTPPI EQ )
( DC PO TPP TPPI NTPPI EQ )
( EC PO TPP TPPI NTPPI EQ )
( DC EC PO TPP TPPI NTPPI EQ )
( PO TPP NTPP TPPI NTPPI EQ )
( DC PO TPP NTPP TPPI NTPPI EQ )
( EC PO TPP NTPP TPPI NTPPI EQ )
( DC EC PO TPP NTPP TPPI NTPPI EQ )
.
147