Wug Nlab: Difference between revisions
| Line 474: | Line 474: | ||
NOT ( hold from DEF_EXT ( ( SUP bad ) fire person ) ) | NOT ( hold from DEF_EXT ( ( SUP bad ) fire person ) ) | ||
because ( FORALL p IS_ELEM_OF class ( time ) ) ( ( 2PS have ( kingdom GEN 2PP ) ) and ( 2PS have ( ( worship V->N ) GEN 2PP ) ) ) | because ( FORALL p IS_ELEM_OF class ( time ) ) ( ( 2PS have ( kingdom GEN 2PP ) ) and ( 2PS have ( ( worship V->N ) GEN 2PP ) ) ) | ||
</poem> | |||
==Other resources== | ==Other resources== | ||
''TODO: primer'' | ''TODO: primer'' | ||