Contact Us!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.

| Download

Logic of "all" + verbs + relative clauses, for a class at Indiana University

Views: 7249
��d8042dyn*%��G�z��veT�_,	�V�A�p�c�e��f�&\����싙���E��fɫu��g1�B������
����4�O՟q	

~��`�}�$�W���>L���\8��c�j�<�^�4D�܄>G��ůQ�o4v�5�<h�|���Z�o�z���N���s��O\�:�o:��[������P`AP�(�w~rud;CWp-����)>P�s�g9$G�t�;��<F�P�U�⷗�x)B=9�#��A&���Q.���*��tP���<���
xg<j��Õ�y�wi{�<b����k�T��	R�8���cv1��γ3`b�6Y�5)zTẹ��˼ 8���cv1��γ3`!8���cv1��γ3`"8���cv1��γ3`���@���.]Q�2��@�Y���K���A��#��]���U
>� ��T����w^˟�b����kfְ^�m(K��I��s$:c��e�,K�+k%%�f@ɣl�o��d��&�x��y�L�g֒��'�x��y�L�g֒��(�x��y�L�g֒��)�x��y�L�g֒��*@ڤ&�G�
�2�����+��g���������[}.",��b�}TG��a�*�-���j͋s)�\'(��.*�[Ɍ����$����N�Ob��9�a�1��$$�r�C�q�53��1/��D�1��_Xܭg�0%�^w!�M*�I³�8�1}����cNq�����^2�Y��j@��¸vY� J�ngC���bc��-g�:N���U�,Z���,��3iE������m�,��4�Is������c��5��S�]��
���?3"�f6J���\Q������a$73$)�����i#y�d�7�_�E|ͷ!���ƴ8}s�ϼK�[�O����?9{#�I�lD�����9f�z�(����j�¬]:�u#1��'4�g.���;�NF��H�
��vr��<� �ps����tbF=����l��h2�<�>���U�iW$gL��)?�����c2W���	i�@9'�p�����U&-�Q.�Au� �W6��v�o��k>�B��uJ��h�4���Af�C���.pxܭ�J�D�^'D�]-�*��L[��|��<	

 !"#$%&'()*+,-./0123456789::;E<F=G>H?@@�_��)O&(�͎�n�0��D|R�#�A��	��d(+IA(��:z�6�A4{�e@�a)w��BK��x�h����:�b���}�Cn��x�P��i� ��A�zT��$D���~|R�#�A��	��d(+I:������;��EF��0��E<G>F=H?�ve7���W
�A�7*HY@������EG]���?��qZ)x�S��	�EEG��0E���z�l�����·(
��0E��0EG��0E��H�J��k����=�
���0E��0H��0EF��0E-�K�ߺiXw�
��޽��0E��0H��0I��0J��0EF��0E�h�Z���}��nZ�����0E��0H��0EF��0E4H0��f���A(�[1!G��0E��0H��0I��0J��0EF��0E<�(��nFͷNʂ��I������J��������0I��0J��0��0IJ7[b~`���vX����
;��0EH��0��0E��0KK��0LL�^�1l6�����:q
���0EH��0EF��0E����q��^;�I��	-��0EH��0I��0J��0EF��0E)�'N���5Y�&�
���0EF��0E��0H��0EF��0E���4�!��V��S	�q��0EF��0E��0H��0I��0J��0EF��0E�,�v��g2Gt�=��E��0E��0E��4��0KK��4��0LL�Y�)�HK�,�z�؎
dG��0G��0H��r��5B)/d�S/�b����K������L������M��������0KLM��0K��Exr�W��#,!�H��0E��0J��0��0E��0KK��0LLT��Uq�6Z	$��f~�N��������4��0N��0Na�\�g�K+Or�̇�H��0E��0I��0J��0��0E��0KK��0LL����!ź�.Y���ߣA?H��0E��0��0E��0KK��0LL&��ְ�P�E��U�+Q�H��0E��0��0E��0KK��0LL���P���TD$�7�y	H��0J��)$�XD|�0-�*��>H��0Ig��ϡ�:$8�sH��0Kc4�{jd+=;N2��m�G��0G��0H��0��EF��0�����Z�l��G��T�g!EM�l��vo.�s��\�N������M��������N��M��N����0NM��0N��r�H9N�k�
�c��Ke�MI������J������I��0J��0IJӫwf�:~�U���fc��N��������N��0NN�{#�������6�PN������J������M��������N��0NJM��0NJM�/�Jڞe=֎��[�$���0EF��0E��0H��0��0EF��0E�QEa�	�R�}�A���0EF��0E��0H��0I��0J��0��0EF��0E�K�/ޓT��RDd�ܟ�G��0G��0H��r7j(z߉������f PE��0E��0H��r\tI��C�V!���!���0G��0H��r�,�%iWJ���4g���"���0E��0H��rHf��++s�b�wc��#EKL�箐R�p�u�$@EK�4���E$���P3L�%�N������J������M������NJMNlMԈ0;���E�N;b�&UN������J������M������O������NJMON�T�+��[��"�!cl'�N������J������M������NJMJ�%}N�����5E2�G$�(jN������J������M������O������NJMOJ-eA��ؿ�0�u��-7)�N������J������M������NJMMZ�^� ([{���R��*N������J������M������O������NJMOMP�̉�H=FV+c2�+N������J������M������O������NJMOOn���d��G����‡,qG��0G��0H��0:�1�H�B��(T�Z���-�J������M��������0EJM��0E|R�#�A��	��d(+I<":��:��>̾䘶�
�㞺��.�I������J������M��������II��0IJMIJMU�d@Q�S>���/ �P������Q������M������O��������0PQMO��0PQMO*�S̰��I����N=�%0 �H��0KKh�=����.b)@:�u1!wN������J��������NN��0NJ��0NNNJ�K��IA��v��=2!�E��0E��0H��0EF��0EU�"�g�A�b���3"�N������HN��0KK��0LLEFN|R�#�A��	��d(+I="�:F:�U�
�E�!H6��4#mH��0E��0��0E��4��0KK��4��0LLqQ}+[��ޞ�Z�*`�5#�I������J��������0I��0J��0��0IJ|R�#�A��	��d(+I>$*:E:Ld8Q���>��+2L6$�I��������0OI��0IG|R�#�A��	��d(+I?$�:��0��:��;HA�2.yA�7$�H��0K����+R.�*�^'8%2H��0K
�e.���}J$ͅ�� 9%g��4������:AR%�i>��M=��d[�^.PSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~�������������RREFGH�����9���:7��$�mainSyllogisticInferenceExampleRulesExampleSentencesFrontEndProofTreeNumbersSyntax2baseghc-priminteger-gmp	GHC.FloatGHC.BaseControl.ApplicativeData.Functor.ConstData.Functor.IdentityData.MonoidData.Semigroup.InternalGHC.GenericsGHC.IO.Exception
Control.Monad
Data.Foldable	Data.ListData.OldListData.Traversable
Data.TupleGHC.ListGHC.ShowPrelude	System.IOGHC.ClassesRuleRuleName
conclusionpremisesrulenameverblistNotVarsColDesccentercolTitlecolTitleFillcolValuecolValueFillleftreadSreadSsright	showTableTfull_reverseneartree_reverseCNasTerm
ContradictionNegPCNPVPosSentTerm
buildPVSubbuildTermSubcnsIncombineStructureshasNegativeMarkerpCNsInprincipalDetspellOutsubtermsverbsInlinerulesentencesupportstbb1b2cada1a2	ProofLineaddAssumptionAsReasonaddReasonsToOriginal
allDerivedallDerived2allDerivedUnderRepresentationsallDerivedUnderRepresentations2allFnsapplicableInstances
applyARuleapplyARule2
applyAllRulesapplyAllRules2buildPairOfSubs
displayAProofdropReasonseVerbsemptyAsDefaultextraCNsextraReconciliationCNsextraReconciliationVerbsextraVerbsInRuleextracnsInRuleextras
findAProoffindDfindProofByNumber	firstHelpfirstRepeat
fixDuplicates
fixedPointfixedPoint2followsfollowsUnderRepresentation	fullStoryfullStoryUnderRepresentationsg1g2get1get1Of4get2get2Of4get3get3Of4get4Of4getReadyToDisplay
inconsistencyllmodifypremiseExtractPairsproofSearch
relevantChunkrenderruleToPairOfSubs
secondHelpshowTvarsInConclusionvarsInPremises
zeroAsDefaultSentRule$fShowProofLine
$tc'ProofLine$tcProofLine	$trModuleStringCNVDetPTree