scrolls.json

																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?B",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				},
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?B",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						},
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?B",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		}
																	],
																	"kind": "OMA"
																},
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?sqrt",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						},
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				},
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						},
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		}
																	],
																	"kind": "OMA"
																}
															],
															"kind": "OMA"
														}
													],
													"kind": "OMA"
												}
											],
											"kind": "OMA"
										}
									],
									"kind": "OMA"
								},
								{
									"applicant": {
										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
										"kind": "OMS"
									},
									"arguments": [
										{
											"applicant": {
												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
												"kind": "OMS"
											},
											"arguments": [
												{
													"value": 180.0,
													"kind": "OMLIT<Double>"
												},
												{
													"applicant": {
														"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
														"kind": "OMS"
													},
													"arguments": [
														{
															"applicant": {
																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																"kind": "OMS"
															},
															"arguments": [
																{
																	"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA",
																	"kind": "OMS"
																}
															],
															"kind": "OMA"
														}
													],
													"kind": "OMA"
												}
											],
											"kind": "OMA"
										},
										{
											"applicant": {
												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
												"kind": "OMS"
											},
											"arguments": [
												{
													"applicant": {
														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
														"kind": "OMS"
													},
													"arguments": [
														{
															"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB",
															"kind": "OMS"
														}
													],
													"kind": "OMA"
												}
											],
											"kind": "OMA"
										}
									],
									"kind": "OMA"
								}
							],
							"kind": "OMA"
						},
						{
							"value": "By sum of interior angles = 180° in triangles",
							"kind": "OMLIT<String>"
						}
					],
					"kind": "OMA"
				},
				"kind": "veq"
			}
		]
	},
	{
		"ref": "http://mathhub.info/FrameIT/frameworld?Pythagoras",
		"label": "Pythagoras",
		"description": "Given a ABC right-angled at C and lengths of both legs, we can compute the length of the hypotenuse via Pythagora's theorem",
		"requiredFacts": [
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A"
				},
				"label": "A",
				"tp": {
					"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
					"kind": "OMS"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?B"
				},
				"label": "B",
				"tp": {
					"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
					"kind": "OMS"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C"
				},
				"label": "C",
				"tp": {
					"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
					"kind": "OMS"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC"
				},
				"label": "⊾C",
				"tp": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/Foundation?Logic?ded",
						"kind": "OMS"
					},
					"arguments": [
						{
							"applicant": {
								"uri": "http://mathhub.info/MitM/Foundation?Logic?eq",
								"kind": "OMS"
							},
							"arguments": [
								{
									"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
									"kind": "OMS"
								},
								{
									"applicant": {
										"uri": "http://mathhub.info/FrameIT/frameworld?FrameITBasics?rightAngle",
										"kind": "OMS"
									},
									"arguments": [
										{
											"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?B",
											"kind": "OMS"
										},
										{
											"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
											"kind": "OMS"
										},
										{
											"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
											"kind": "OMS"
										}
									],
									"kind": "OMA"
								},
								{
									"value": 90.0,
									"kind": "OMLIT<Double>"
								}
							],
							"kind": "OMA"
						}
					],
					"kind": "OMA"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?Pythagoras/Problem?distanceAC"
				},
				"label": "AC",
				"lhs": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric",
						"kind": "OMS"
					},
					"arguments": [
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
							"kind": "OMS"
						},
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
							"kind": "OMS"
						}
					],
					"kind": "OMA"
				},
				"valueTp": {
					"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
					"kind": "OMS"
				},
				"value": null,
				"proof": null,
				"kind": "veq"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?Pythagoras/Problem?distanceBC"
				},
				"label": "BC",
				"lhs": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric",
						"kind": "OMS"
					},
					"arguments": [
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?B",
							"kind": "OMS"
						},
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?C",
							"kind": "OMS"
						}
					],
					"kind": "OMA"
				},
				"valueTp": {
					"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
					"kind": "OMS"
				},
				"value": null,
				"proof": null,
				"kind": "veq"
			}
		],
		"acquiredFacts": [
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?Pythagoras/Solution?deducedHypotenuse"
				},
				"label": "BA",
				"lhs": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric",
						"kind": "OMS"
					},
					"arguments": [
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?A",
							"kind": "OMS"
						},
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?TriangleProblem?B",
							"kind": "OMS"
						}
					],
					"kind": "OMA"
				},
				"valueTp": {
					"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
					"kind": "OMS"
				},
				"value": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?sqrt",
						"kind": "OMS"
					},
					"arguments": [
						{
							"applicant": {
								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
								"kind": "OMS"
							},
							"arguments": [
								{
									"applicant": {
										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
										"kind": "OMS"
									},
									"arguments": [
										{
											"applicant": {
												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
												"kind": "OMS"
											},
											"arguments": [
												{
													"uri": "http://mathhub.info/FrameIT/frameworld?Pythagoras/Problem?distanceAC",
													"kind": "OMS"
												}
											],
											"kind": "OMA"
										},
										{
											"applicant": {
												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
												"kind": "OMS"
											},
											"arguments": [
												{
													"uri": "http://mathhub.info/FrameIT/frameworld?Pythagoras/Problem?distanceAC",
													"kind": "OMS"
												}
											],
											"kind": "OMA"
										}
									],
									"kind": "OMA"
								},
								{
									"applicant": {
										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
										"kind": "OMS"
									},
									"arguments": [
										{
											"applicant": {
												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
												"kind": "OMS"
											},
											"arguments": [
												{
													"uri": "http://mathhub.info/FrameIT/frameworld?Pythagoras/Problem?distanceBC",
													"kind": "OMS"
												}
											],
											"kind": "OMA"
										},
										{
											"applicant": {
												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
												"kind": "OMS"
											},
											"arguments": [
												{
													"uri": "http://mathhub.info/FrameIT/frameworld?Pythagoras/Problem?distanceBC",
													"kind": "OMS"
												}
											],
											"kind": "OMA"
										}
									],
									"kind": "OMA"
								}
							],
							"kind": "OMA"
						}
					],
					"kind": "OMA"
				},
				"proof": {