scrolls.json

															"arguments": [
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"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://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
																																	"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://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": [
																														{
																															"applicant": {
																																"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"applicant": {
																																		"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
																																		"kind": "OMS"
																																	},
																																	"arguments": [
																																		{
																																			"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
																																			"kind": "OMS"
																																		}
																																	],
																																	"kind": "OMA"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"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": [
																														{
																															"applicant": {
																																"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"applicant": {
																																		"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
																																		"kind": "OMS"
																																	},
																																	"arguments": [
																																		{
																																			"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
																																			"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://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": [
																												{
																													"applicant": {
																														"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"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": [
																												{
																													"applicant": {
																														"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		},
																		{
																			"value": 4.626e-12,
																			"kind": "OMLIT<Double>"
																		}
																	],
																	"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": [
														{
															"applicant": {
																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																"kind": "OMS"
															},
															"arguments": [
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_pow",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
																					"kind": "OMS"
																				}
																			],
																			"kind": "OMA"
																		},
																		{
																			"value": 2.0,
																			"kind": "OMLIT<Double>"
																		}
																	],
																	"kind": "OMA"
																},
																{
																	"value": 3.141592653589793,
																	"kind": "OMLIT<Double>"
																}
															],
															"kind": "OMA"
														},
														{
															"applicant": {
																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																"kind": "OMS"
															},
															"arguments": [
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"uri": "http://mathhub.info/FrameIT/frameworld?TruncatedConeProblem?top",
																					"kind": "OMS"
																				}
																			],
																			"kind": "OMA"
																		},
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
																					"kind": "OMS"
																				}
																			],
																			"kind": "OMA"
																		}
																	],
																	"kind": "OMA"
																},
																{
																	"value": 3.141592653589793,
																	"kind": "OMLIT<Double>"
																}
															],
															"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?real_pow",
																"kind": "OMS"
															},
															"arguments": [
																{
																	"applicant": {
																		"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"uri": "http://mathhub.info/FrameIT/frameworld?TruncatedConeProblem?top",
																			"kind": "OMS"
																		}
																	],
																	"kind": "OMA"
																},
																{
																	"value": 2.0,
																	"kind": "OMLIT<Double>"
																}
															],
															"kind": "OMA"
														},
														{
															"value": 3.141592653589793,
															"kind": "OMLIT<Double>"
														}
													],
													"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?times_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?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?ConeProblem?areaBase",
																			"kind": "OMS"
																		}
																	],
																	"kind": "OMA"
																},
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?sqrt",
																		"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?ConeProblem?areaBase",
																							"kind": "OMS"
																						}
																					],
																					"kind": "OMA"
																				},
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"uri": "http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll/Problem?areaTop",
																							"kind": "OMS"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		}
																	],
																	"kind": "OMA"
																}
															],
															"kind": "OMA"
														},
														{
															"applicant": {
																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																"kind": "OMS"
															},
															"arguments": [
																{
																	"uri": "http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll/Problem?areaTop",
																	"kind": "OMS"
																}
															],
															"kind": "OMA"
														}
													],
													"kind": "OMA"
												},
												{
													"applicant": {
														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
														"kind": "OMS"
													},
													"arguments": [
														{
															"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?height",
															"kind": "OMS"
														}
													],
													"kind": "OMA"
												}
											],
											"kind": "OMA"
										},
										{
											"value": 0.3333333333333333,
											"kind": "OMLIT<Double>"
										}
									],
									"kind": "OMA"
								}
							],
							"kind": "OMA"
						},
						{
							"value": "TruncatedConeVolume Scroll",
							"kind": "OMLIT<String>"
						}
					],
					"kind": "OMA"
				},
				"kind": "veq"
			}
		]
	}
]