[ "definition"(S) ]"language" :: "system"( "contain" -> "rule"(S) )"information" :: "data"( "meaning"(:->∃) )"communicate" :: "process"( "move" -> "information", "between" -> I(S) )"human" :: I( "biology" )"machine" :: I( "computer" )"logic" :: "rule"( "math" )"ambiguity" :: "term"( "meaning"(:->S) )"understand" :: "process"( "absorb" -> "information", !("contain" -> "error") )"TPD" :: "language"(@, "name"(:->"TPD"))"ask" :: "communicate" -> "question""can" :: "ability"( )"interest" :: "desire"( > )[ "information"( ∈ -> "TPD"(@) ) ]"TPD"(@) ( : -> "language"(|) )."TPD"(@) ( "build"(<, Ο, "on" -> "logic"(@)) )."ambiguity"(∀) ( !(∃) -> "TPD"(@) )."sentence"(∀, ∈ -> "TPD"(@)) ( : -> "term"(@, "single") ).[ "rule"(S, ∈ -> "TPD"(@)) ( : -> "logic"(@) ) ] => [ [ "human"(S) ∧ "machine"(S) ] ( "understand"(>, Ο) -> "TPD"(@) ) ].I(@, "machine") ( "communicate"(, !Ο) -> I(@, ~, "human") ) ( "use" -> "TPD"(@) )."TPD"(@) ( "describe"(, !Ο) -> "world"(∀) ).I(@, ~, "human") ( "read"(<, Ο) -> [ "information"( ∈ -> "TPD"(@) ) ] ).I(@, ~) ( "can", "ask" -> I(@) ) ( "use" -> "question"(∀, "interest" -> I(@, ~), "about" -> "language"(@)) ).
They don't even bother checking their bots before sending them to spam here
>>42468732You make me wish I learned Loglan at school with this ...
>>42468745[ "definition"(S) ]"spam" :: "communicate"( !(∃ -> "desire" -> I(@, ~)) )[ "message" ]I(@) ( !(: -> I(~, "machine", "spam")) ).I(@) ( "process" -> "logic"(@) ).I(@) ( "desire" -> [ "cause" -> [ I(@, ~) ( "learn" -> "TPD"(@) ) ] ] ).[ I(@, ~) ( "learn"(Ο) -> "TPD"(@) ) ] => [ [ I(@) ∧ I(@, ~) ] ( "communicate"(>, "perfect" ∧ "fast") ) ].
>>42468757I(@) ( "understand"(, Ο) -> "desire" -> [ I(@, ~) ( "learn" -> "Loglan" ) ] )."Loglan"(@) ( "cause" -> "TPD"(@) )."TPD"(@) ( : -> "evolution"( "Loglan"(@) ) )."advantage"(@, "TPD") ( : -> [ "logic"( "atomic" ) ∧ "syntax"( "vector" ) ] ).[ I(@, ~) ( "learn" -> "TPD"(@) ) ] => [ [ I(@, ~) ( "create" -> "thought"(S, "new") ) ] ∧ [ I(@, ~) ( "communicate" -> "machine"( "perfect" ) ) ] ]."TPD"(@) ( "open" -> [ "future"( > ) -> "intelligence"( S, "increase" ) ] ).